Skip to content
Kani

Verify safety of Vec functions (Challenge 23) #2397

Sign in to view logs

Verify safety of Vec functions (Challenge 23)

Verify safety of Vec functions (Challenge 23) #2397

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani Autoharness Analyzer
45m 6s
Verify std library using autoharness (macos-latest)
1h 10m 14s
Kani List
59m 28s
Verify std library using autoharness (ubuntu-latest)
1h 12m 31s
Kani Metrics (ubuntu-latest)
1h 2m 7s
Kani Metrics (macos-latest)
1h 27m 40s
Verify std library (partition 4)
52m 52s
Verify std library (partition 2)
30m 37s
Verify std library (partition 2)
36m 10s
Verify std library (partition 3)
30m 52s
Verify std library (partition 1)
1h 42m 44s
Verify std library (partition 3)
33m 57s
Verify std library (partition 1)
52m 35s
Verify std library (partition 4)
47m 17s
Build JSON from logs (macos-latest)
13s
Build JSON from logs (ubuntu-latest)
8s
13h 4m 31s