Skip to content
Kani

Challenge 7: Verify safety of Atomic from_ptr methods #2507

Sign in to view logs

Challenge 7: Verify safety of Atomic from_ptr methods

Challenge 7: Verify safety of Atomic from_ptr methods #2507

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani List
5m 18s
Verify std library using autoharness (ubuntu-latest)
5m 3s
Kani Metrics (ubuntu-latest)
5m 19s
Kani Autoharness Analyzer
4m 13s
Kani Metrics (macos-latest)
5m 37s
Verify std library using autoharness (macos-latest)
3m 47s
Verify std library (partition 2)
5m 29s
Verify std library (partition 4)
5m 14s
Verify std library (partition 3)
5m 21s
Verify std library (partition 1)
5m 30s
Verify std library (partition 3)
3m 41s
Verify std library (partition 1)
3m 39s
Verify std library (partition 4)
5m 11s
Verify std library (partition 2)
3m 41s
Build JSON from logs
0s
1h 7m 3s