Add book content and CI #17
lints.yml
on: pull_request
Clippy
6s
Intra-doc links
14s
Rustfmt
7s
hacspec syntax
1m 23s