Merge pull request #570 from MatthewFluet/misc-updates #183
Job | Run time |
---|---|
19m 43s | |
26m 46s | |
20m 59s | |
27m 6s | |
28m 50s | |
45m 2s | |
49m 4s | |
50m 26s | |
25m 33s | |
22m 11s | |
40m 10s | |
47m 0s | |
6h 42m 50s |
Job | Run time |
---|---|
19m 43s | |
26m 46s | |
20m 59s | |
27m 6s | |
28m 50s | |
45m 2s | |
49m 4s | |
50m 26s | |
25m 33s | |
22m 11s | |
40m 10s | |
47m 0s | |
6h 42m 50s |