Skip to content
Kani

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

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-… #53

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Test Kani script (ubuntu-latest)
4m 9s
Verify std library (ubuntu-latest)
4m 12s
Verify std library (macos-latest)
4m 31s
Test Kani script (macos-latest)
4m 4s
16m 56s