Dafny Nightly #142
Job | Run time |
---|---|
9s | |
3m 32s | |
1m 18s | |
1m 47s | |
1m 4s | |
2m 5s | |
1m 11s | |
1m 15s | |
2m 7s | |
1m 30s | |
2m 4s | |
1m 28s | |
1m 28s | |
1m 24s | |
15m 29s | |
19m 13s | |
21m 11s | |
26m 55s | |
25m 58s | |
5s | |
2h 11m 13s |
Job | Run time |
---|---|
9s | |
3m 32s | |
1m 18s | |
1m 47s | |
1m 4s | |
2m 5s | |
1m 11s | |
1m 15s | |
2m 7s | |
1m 30s | |
2m 4s | |
1m 28s | |
1m 28s | |
1m 24s | |
15m 29s | |
19m 13s | |
21m 11s | |
26m 55s | |
25m 58s | |
5s | |
2h 11m 13s |