main: dont print timings with --no-prints #2670
| Job | Run time |
|---|---|
| 4m 52s | |
| 56s | |
| 2m 34s | |
| 6m 24s | |
| 37s | |
| 2m 29s | |
| 59s | |
| 3m 24s | |
| 2m 39s | |
| 3m 22s | |
| 2m 7s | |
| 2m 29s | |
| 3m 29s | |
| 14m 26s | |
| 2m 33s | |
| 2m 0s | |
| 15m 13s | |
| 4m 5s | |
| 21m 12s | |
| 2m 30s | |
| 14m 0s | |
| 1m 45s | |
| 31m 30s | |
| 34m 52s | |
| 19m 15s | |
| 1m 54s | |
| 2m 20s | |
| 3m 56s | |
| 32m 11s | |
| 10m 0s | |
| 3m 55s | |
| 23m 34s | |
| 2m 9s | |
| 2m 5s | |
| 23m 3s | |
| 2m 55s | |
| 19m 32s | |
| 24m 12s | |
| 23m 56s | |
| 24m 1s | |
| 28m 11s | |
| 4m 29s | |
| 24m 42s | |
| 30m 26s | |
| 4m 29s | |
| 4m 16s | |
| 1m 2s | |
| 8h 17m 0s |