Merge pull request #1675 from danielpeter/devel #202
Job | Run time |
---|---|
18s | |
14m 4s | |
2m 34s | |
2m 23s | |
24m 39s | |
6m 41s | |
3m 54s | |
3m 21s | |
3m 10s | |
5m 38s | |
2m 55s | |
3m 27s | |
3m 49s | |
3m 9s | |
3m 30s | |
3m 20s | |
3m 25s | |
3m 30s | |
2m 46s | |
3m 39s | |
2m 50s | |
2m 32s | |
3m 18s | |
3m 35s | |
1h 52m 27s |