Address editorial feeback #10
lints.yml
on: pull_request
Clippy
7s
Intra-doc links
13s
Rustfmt
6s
hacspec syntax
2m 34s