Skip to content
Kani

Move std-analysis.sh script from Kani repository #72

Sign in to view logs

Move std-analysis.sh script from Kani repository

Move std-analysis.sh script from Kani repository #72

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani List
14m 35s
Verify std library (partition 1)
35m 52s
Verify std library (partition 2)
46m 4s
Verify std library (partition 3)
35m 24s
Verify std library (partition 4)
46m 3s
Verify std library (partition 1)
35m 8s
Verify std library (partition 2)
46m 6s
Verify std library (partition 3)
44m 34s
Verify std library (partition 4)
47m 43s
5h 51m 29s