Kani Rust Verifier

Version updated for model-checking/kani-github-action to version v1.0.

• This publisher is shown as erified by GitHub.
• This action is used across all versions by 21 repositories.

Go to the GitHub Marketplace to find the latest changes.

Release notes

Major Changes

• Add kani-version field to github action, which defaults to latest version of Kani

What’s Changed

• Decouple kani version from kani-github-action version by @jaisnan in https://github.com/model-checking/kani-github-action/pull/45

Full Changelog: https://github.com/model-checking/kani-github-action/compare/v0.37...v1.0

• model-checking
• GitHub Actions