Package Usage: actions: model-checking/kani-github-action
Run the Kani Rust Verifier on a Rust Crate
30 versions
Latest release: over 2 years ago
View more package details: https://packages.ecosystem.code.gouv.fr/registries/github%20actions/packages/model-checking/kani-github-action