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

Merge rust-bitcoin/rust-bitcoin#2709: CI: Run kani daily job with latest version 

f162e13afb CI: Run kani daily job with latest version (Tobin C. Harding)

Pull request description:

  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.

ACKs for top commit:
  apoelstra:
    ACK f162e13afb ci only, can one ack merge

Tree-SHA512: cb6d42eeb6ce640e4696935ae09b438a62e79fcb7570922b88ed830fd7200958d4dfff098092cb294b1b54022d2054c74914e32e1a80f06c34bd508b7199b0c5
This commit is contained in:
Andrew Poelstra 2024-04-23 13:23:40 +00:00
parent fe1e849740 f162e13afb
commit fe8ce059b4
No known key found for this signature in database
GPG Key ID: C588D63CE41B97C1
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'