Merge pull request #186 from eschnett/eschnett/loop #722
Job | Run time |
---|---|
14m 35s | |
16m 38s | |
18m 26s | |
39m 13s | |
29m 35s | |
27m 6s | |
21m 21s | |
27m 47s | |
3h 14m 41s |
Job | Run time |
---|---|
14m 35s | |
16m 38s | |
18m 26s | |
39m 13s | |
29m 35s | |
27m 6s | |
21m 21s | |
27m 47s | |
3h 14m 41s |