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.
This commit is contained in:
Tobin C. Harding 2024-02-01 15:26:43 +11:00
parent 96d3bbd065
commit 4383202f23
No known key found for this signature in database
GPG Key ID: 40BF9E4C269D6607
1 changed files with 11 additions and 0 deletions

View File

@ -163,3 +163,14 @@ jobs:
env:
DO_WASM: true
run: cd hashes && ./contrib/test.sh
Kani:
runs-on: ubuntu-20.04
steps:
- name: 'Checkout your code.'
uses: actions/checkout@v4
- name: 'Kani build proofs'
uses: model-checking/kani-github-action@v1.1
with:
args: '--only-codegen'