milksad
/
rust-bitcoin-unsafe-fast
14
0
Fork 0
Code Issues Pull Requests Activity

CI: Run kani daily job with latest version 

Version `0.49` of `kani` broke our daily CI job, there is now a new
release out that fixes the issue.

Remove the explicit `kani` version so we pull the latest version.
This commit is contained in:
Tobin C. Harding 2024-04-23 17:48:22 +10:00
parent 4a4e07d66a
commit f162e13afb
No known key found for this signature in database
GPG Key ID: 40BF9E4C269D6607
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.github/workflows/rust.yml vendored
View File

@ -236,5 +236,4 @@ jobs:
- name: 'Kani build proofs' - name: 'Kani build proofs'
uses: model-checking/kani-github-action@v1.1 uses: model-checking/kani-github-action@v1.1
with: with:
kani-version: '0.48.0'
args: '--only-codegen' args: '--only-codegen'