Skip to content
Rust Lint

Call the Kani harnesses model checks, not proofs #622

Sign in to view logs

Call the Kani harnesses model checks, not proofs

Call the Kani harnesses model checks, not proofs #622

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Clippy
54s
Rustfmt
14s
1m 8s