Kani

Kani #2355

Job	Run time
Kani List	1h 9m 33s
Verify std library using autoharness (macos-latest)	1h 21m 30s
Kani Autoharness Analyzer	43m 36s
Verify std library using autoharness (ubuntu-latest)	1h 10m 55s
Kani Metrics (macos-latest)	1h 12m 38s
Kani Metrics (ubuntu-latest)	55m 55s
Verify std library (partition 3)	25m 18s
Verify std library (partition 1)	37m 26s
Verify std library (partition 2)	44m 53s
Verify std library (partition 1)	42m 51s
Verify std library (partition 4)	57m 7s
Verify std library (partition 3)	32m 11s
Verify std library (partition 2)	32m 4s
Verify std library (partition 4)	48m 3s
Build JSON from logs (ubuntu-latest)	13s
Build JSON from logs (macos-latest)	12s
	11h 54m 25s

Provide feedback