Tobin C. Harding 4383202f23 CI: Add a job to build kani proofs ... Currently we do not build the code in the kani tests when PRs are pushed, instead we run the verifier once a day. We should at least check the code builds on each PR. One way to do this is to build the proofs without running them, `kani --only-codegen` does that.		2024-02-01 15:44:38 +11:00
..
coveralls.yml	Ignore fuzz dir from coverage reports	2024-01-19 18:09:59 +01:00
fuzz.yml	Bump actions/cache from 3 to 4	2024-01-22 10:53:21 +00:00
gh-release.yml	CI: add an automated github releases on new tags	2023-09-10 19:21:22 -03:00
kani.yml	Bump model-checking/kani-github-action from 1.0 to 1.1	2024-01-15 10:43:18 +00:00
manage-pr.yml	Add automated labeler job	2024-01-20 16:35:37 +01:00
release.yml	Bump actions/checkout from 2 to 4	2023-09-09 15:26:36 +00:00
rust.yml	CI: Add a job to build kani proofs	2024-02-01 15:44:38 +11:00
rustfmt.yml	Add author for the format bot	2023-12-02 06:23:46 +11:00