Add nix shell and some checks

This commit is contained in:
Jean-François Roche 2023-02-02 00:19:26 +01:00
parent 929da3e3c3
commit 942ed011c9
No known key found for this signature in database
GPG key ID: D1D09DE169EA19A0
7 changed files with 377 additions and 12 deletions

1
.gitignore vendored
View file

@ -6,3 +6,4 @@
**/*.rs.bk
result
.pre-commit-config.yaml