Skip to content
Kani

Merge branch 'main' of https://github.com/danielhumanmod/verify-rust-… #160

Sign in to view logs

Merge branch 'main' of https://github.com/danielhumanmod/verify-rust-…

Merge branch 'main' of https://github.com/danielhumanmod/verify-rust-… #160

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Test Kani script (ubuntu-latest)
50m 55s
Verify std library (ubuntu-latest)
1h 13m 5s
Test Kani script (macos-latest)
47m 54s
Verify std library (macos-latest)
1h 11m 33s
4h 3m 27s