Ready for PR #272
Job | Run time |
---|---|
8m 40s | |
19m 34s | |
11m 57s | |
6h 0m 13s | |
8m 58s | |
12m 10s | |
19m 47s | |
25m 45s | |
23m 18s | |
29m 8s | |
28m 23s | |
20m 20s | |
44m 0s | |
43m 49s | |
22m 9s | |
30m 58s | |
28m 47s | |
22m 31s | |
43m 40s | |
44m 24s | |
14h 8m 31s |
Job | Run time |
---|---|
8m 40s | |
19m 34s | |
11m 57s | |
6h 0m 13s | |
8m 58s | |
12m 10s | |
19m 47s | |
25m 45s | |
23m 18s | |
29m 8s | |
28m 23s | |
20m 20s | |
44m 0s | |
43m 49s | |
22m 9s | |
30m 58s | |
28m 47s | |
22m 31s | |
43m 40s | |
44m 24s | |
14h 8m 31s |