Skip to content
Check Std Verification

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

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 #3

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify-std (ubuntu-22.04)
4m 11s
verify-std (macos-14)
3m 59s
8m 10s