Merge pull request #53 from bgamari/wip/th-name-res #110
Job | Run time |
---|---|
2m 55s | |
2m 55s | |
2m 50s | |
2m 30s | |
2m 38s | |
2m 19s | |
2m 10s | |
2m 4s | |
2m 1s | |
2m 55s | |
2m 29s | |
27m 46s |
Job | Run time |
---|---|
2m 55s | |
2m 55s | |
2m 50s | |
2m 30s | |
2m 38s | |
2m 19s | |
2m 10s | |
2m 4s | |
2m 1s | |
2m 55s | |
2m 29s | |
27m 46s |