Merge pull request #1048 from Ladicek/make-timer-not-singleton-again #1741
| Job | Run time |
|---|---|
| 9m 25s | |
| 11m 35s | |
| 17m 9s | |
| 6h 0m 15s | |
| 10m 9s | |
| 17m 10s | |
| 9m 22s | |
| 10m 55s | |
| 17m 7s | |
| 9m 16s | |
| 10m 57s | |
| 17m 14s | |
| 0s | |
| 8h 20m 34s |
| Job | Run time |
|---|---|
| 9m 25s | |
| 11m 35s | |
| 17m 9s | |
| 6h 0m 15s | |
| 10m 9s | |
| 17m 10s | |
| 9m 22s | |
| 10m 55s | |
| 17m 7s | |
| 9m 16s | |
| 10m 57s | |
| 17m 14s | |
| 0s | |
| 8h 20m 34s |