Merge pull request #171 from eschnett/eschnett/cleanup #668
Job | Run time |
---|---|
12m 7s | |
15m 55s | |
19m 48s | |
26m 9s | |
27m 45s | |
27m 45s | |
19m 51s | |
19m 52s | |
2h 49m 12s |
Job | Run time |
---|---|
12m 7s | |
15m 55s | |
19m 48s | |
26m 9s | |
27m 45s | |
27m 45s | |
19m 51s | |
19m 52s | |
2h 49m 12s |