Skip to content
Check Std Verification

Add two new CI workflows to check Kani against verify-rust-std #2

Sign in to view logs

Add two new CI workflows to check Kani against verify-rust-std

Add two new CI workflows to check Kani against verify-rust-std #2

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify-std (ubuntu-22.04)
4m 12s
verify-std (macos-14)
4m 27s
8m 39s