Skip to content
Kani

additional transmute and transmute_unchecked harnesses #1592

Sign in to view logs

additional transmute and transmute_unchecked harnesses

additional transmute and transmute_unchecked harnesses #1592

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani List
33m 36s
Verify std library (partition 2)
1h 16m 56s
Verify std library (partition 1)
1h 0m 3s
Verify std library (partition 1)
47m 25s
Verify std library (partition 4)
2h 9m 9s
Verify std library (partition 4)
1h 49m 51s
Verify std library (partition 3)
1h 29m 24s
Verify std library (partition 2)
58m 55s
Verify std library (partition 3)
1h 3m 34s
11h 8m 53s