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

Bump model-checking/kani-github-action from 0.36 to 0.37 

Bumps [model-checking/kani-github-action](https://github.com/model-checking/kani-github-action) from 0.36 to 0.37.
- [Release notes](https://github.com/model-checking/kani-github-action/releases)
- [Commits](https://github.com/model-checking/kani-github-action/compare/v0.36...v0.37)

---
updated-dependencies:
- dependency-name: model-checking/kani-github-action
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
This commit is contained in:
dependabot[bot] 2023-09-25 10:34:39 +00:00 committed by GitHub
parent 72a7280d7d
commit 9fa2111c12
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/kani.yml vendored
View File

@ -11,4 +11,4 @@ jobs:
uses: actions/checkout@v4 uses: actions/checkout@v4
- name: 'Run Kani on your code.' - name: 'Run Kani on your code.'
uses: model-checking/kani-github-action@v0.36 uses: model-checking/kani-github-action@v0.37