Updates from the June 7 and June 14 meetings #30
lints.yml
on: pull_request
Clippy
4s
Intra-doc links
17s
Rustfmt
5s
hacspec syntax
8m 7s