Kani

Challenge 7: Verify safety of Atomic from_ptr methods #2508

Job	Run time
Verify std library using autoharness (macos-latest)	44m 15s
Verify std library using autoharness (ubuntu-latest)	1h 9m 18s
Kani List	58m 42s
Kani Autoharness Analyzer	47m 30s
Kani Metrics (macos-latest)	1h 14m 11s
Kani Metrics (ubuntu-latest)	1h 0m 27s
Verify std library (partition 2)	27m 45s
Verify std library (partition 2)	31m 30s
Verify std library (partition 3)	29m 21s
Verify std library (partition 3)	20m 26s
Verify std library (partition 1)	31m 23s
Verify std library (partition 4)	45m 0s
Verify std library (partition 4)	51m 26s
Verify std library (partition 1)	37m 55s
Build JSON from logs (macos-latest)	10s
Build JSON from logs (ubuntu-latest)	13s
	10h 29m 32s

Provide feedback