Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update README.md #54

Merged
merged 1 commit into from
Jan 10, 2024
Merged

Update README.md #54

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 3 additions & 2 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,11 @@

This repository provides a GitHub Action for running the [Kani Rust Verifier](https://github.com/model-checking/kani) in CI.

⚠️ **Important Notice**: We will be moving to [`v1`](https://github.com/model-checking/kani-github-action/releases/tag/v1.0), which will install the latest version of Kani by default.
⚠️ **Important Notice**: We have recently released the action [Kani Rust Verifier `v1`](https://github.com/marketplace/actions/kani-rust-verifier),
which will install the latest version of Kani by default.
Please be aware that version `0.38` will be the final release where the version of Kani matches the version of Kani Github Action.
Make sure to update your workflows and references accordingly.
To install a specific version of Kani, please add a semver version to the field `kani-version` as shown in the example below.
To select a specific version of Kani Rust Verifier, please add a semver version to the field `kani-version` as shown in the example below.

Example:

Expand Down
Loading