kani-releasers

namekani-releasers
Crates.io:github:model-checking:kani-releasers
GitHub user:github:model-checking:kani-releasers

Has error in the released Cargo.toml file

name repo
kani-verifier repo

Crates

name update at owner repo count CI fmt
kani-verifier 2024-10-09 23:59:36.488355 (rahulku) repo 1758 GitHub Action fmt
kani 2024-05-21 21:35:08.861477 (rahulku) repo 1758 GitHub Action fmt