Merge pull request #586 from MatthewFluet/useless-bugfix #188
Job | Run time |
---|---|
19m 35s | |
24m 46s | |
21m 46s | |
31m 3s | |
28m 3s | |
57m 54s | |
1h 2m 26s | |
1h 11m 21s | |
39m 45s | |
40m 59s | |
42m 56s | |
49m 19s | |
8h 9m 53s |
Job | Run time |
---|---|
19m 35s | |
24m 46s | |
21m 46s | |
31m 3s | |
28m 3s | |
57m 54s | |
1h 2m 26s | |
1h 11m 21s | |
39m 45s | |
40m 59s | |
42m 56s | |
49m 19s | |
8h 9m 53s |