Fixups #910
Job | Run time |
---|---|
6m 59s | |
3m 58s | |
8m 42s | |
4m 11s | |
3m 33s | |
10m 59s | |
4m 49s | |
3m 23s | |
4m 21s | |
2m 28s | |
4m 43s | |
2m 34s | |
4m 19s | |
3m 21s | |
4m 56s | |
3m 15s | |
4m 24s | |
3m 19s | |
4m 57s | |
3m 30s | |
4m 15s | |
4m 52s | |
3m 28s | |
3m 54s | |
4m 14s | |
4m 29s | |
4m 32s | |
4m 13s | |
2h 6m 38s |