Address editorial feeback #11
lints.yml
on: pull_request
Clippy
8s
Intra-doc links
7s
Rustfmt
10s
hacspec syntax
16m 36s