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
..
workflows	CI: Add a job to build kani proofs	2024-02-01 15:44:38 +11:00
dependabot.yml	CI: Add `dependabot.yml`	2023-09-08 05:47:19 -04:00
labeler.yml	Add automated labeler job	2024-01-20 16:35:37 +01:00