Repository navigation

Kani

Strip the crate prefix from scanner names so contract metrics match again #3183

Job	Run time
Kani Autoharness Analyzer	41m 47s
Verify std library (partition 3)	26m 2s
Kani Metrics (ubuntu-latest)	1h 4m 37s
Verify std library using autoharness (macos-latest)	50m 50s
Kani List	9m 5s
Verify std library (partition 4)	50m 43s
Verify std library using autoharness (ubuntu-latest)	1h 1m 14s
Verify std library (partition 3)	29m 38s
Kani Metrics (macos-latest)	1h 47m 35s
Verify std library (partition 2)	39m 1s
Verify std library (partition 1)	38m 15s
Verify std library (partition 2)	33m 57s
Verify std library (partition 4)	43m 58s
Verify std library (partition 1)	26m 32s
Build JSON from logs (ubuntu-latest)	13s
Build JSON from logs (macos-latest)	18s
Kani List	12m 32s
Kani Metrics (macos-latest)	1h 47m 35s
Verify std library using autoharness (macos-latest)	50m 50s
Verify std library (partition 3)	29m 38s
Verify std library (partition 3)	26m 2s
Verify std library (partition 2)	33m 57s
Build JSON from logs (macos-latest)	18s
Build JSON from logs (ubuntu-latest)	13s
Verify std library (partition 4)	43m 58s
Verify std library using autoharness (ubuntu-latest)	1h 1m 14s
Verify std library (partition 1)	38m 15s
Kani Metrics (ubuntu-latest)	1h 4m 37s
Verify std library (partition 1)	26m 32s
Verify std library (partition 4)	50m 43s
Verify std library (partition 2)	39m 1s
Kani Autoharness Analyzer	41m 47s
	20h 50m 57s