Skip to content
Kani

transmute_unchecked contracts and harnesses #1289

Sign in to view logs

transmute_unchecked contracts and harnesses

transmute_unchecked contracts and harnesses #1289

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani List
9m 51s
Verify std library (partition 1)
41m 59s
Verify std library (partition 2)
36m 56s
Verify std library (partition 3)
27m 19s
Verify std library (partition 4)
46m 16s
Verify std library (partition 1)
47m 40s
Verify std library (partition 2)
34m 56s
Verify std library (partition 3)
29m 10s
Verify std library (partition 4)
30m 20s
5h 4m 27s