Kani

Challenge 7: Verify safety of Atomic from_ptr methods #2503

Job	Run time
Kani Autoharness Analyzer	41m 47s
Verify std library using autoharness (macos-latest)	1h 3m 48s
Kani Metrics (ubuntu-latest)	59m 54s
Kani Metrics (macos-latest)	1h 1m 22s
Kani List	1h 0m 27s
Verify std library using autoharness (ubuntu-latest)	1h 8m 7s
Verify std library (partition 4)	53m 24s
Verify std library (partition 3)	26m 44s
Verify std library (partition 2)	33m 12s
Verify std library (partition 2)	24m 53s
Verify std library (partition 3)	18m 43s
Verify std library (partition 1)	34m 32s
Verify std library (partition 1)	40m 8s
Verify std library (partition 4)	34m 48s
Build JSON from logs (ubuntu-latest)	12s
Build JSON from logs (macos-latest)	13s
	10h 22m 14s

Provide feedback