Set up CI for repo #3
lints.yml
on: pull_request
Clippy
11s
Intra-doc links
13s
Rustfmt
7s
hacspec syntax
4m 4s