Skip to content
Back to pull request #126

Contract and harness for as_ptr, cast, as_mut_ptr, and as_non_null_ptr #908

Sign in to view logs

Contract and harness for as_ptr, cast, as_mut_ptr, and as_non_null_ptr

Contract and harness for as_ptr, cast, as_mut_ptr, and as_non_null_ptr #908

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Verify std library (ubuntu-latest)
1h 49m 6s
Test Kani script (ubuntu-latest)
1h 9m 20s
Verify std library (macos-latest)
1h 51m 25s
Test Kani script (macos-latest)
1h 3m 47s
5h 53m 38s