Merge pull request #197 from slimgroup/misc-bug #633
Job | Run time |
---|---|
7s | |
11m 16s | |
8m 43s | |
9m 5s | |
9m 38s | |
8m 10s | |
9m 8s | |
11m 58s | |
8m 32s | |
10m 33s | |
11m 56s | |
8m 20s | |
8m 55s | |
7m 42s | |
10m 6s | |
10m 38s | |
10m 49s | |
7m 13s | |
7m 58s | |
9m 38s | |
7m 54s | |
9m 20s | |
9m 36s | |
10m 32s | |
11m 19s | |
3h 49m 6s |