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

kani: Pin version to 0.48.0 

Kani version `0.49.0` came out 10 days ago, its odd that our CI just
broke today but in an attempt to see if its release related pin to the
version before the latest release.
This commit is contained in:
Tobin C. Harding 2024-04-16 06:54:32 +10:00
parent 5981b15902
commit 0f0bd91929
No known key found for this signature in database
GPG Key ID: 40BF9E4C269D6607
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

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