minor fix #846
| Job | Run time |
|---|---|
| 1h 3m 38s | |
| 27m 53s | |
| 56m 46s | |
| 18m 25s | |
| 1h 7m 21s | |
| 39m 23s | |
| 53m 59s | |
| 37m 52s | |
| 54m 22s | |
| 45m 10s | |
| 50m 2s | |
| 35m 32s | |
| 52m 49s | |
| 38m 34s | |
| 1h 1m 58s | |
| 33m 55s | |
| 56m 17s | |
| 33m 15s | |
| 51m 45s | |
| 25m 21s | |
| 56m 13s | |
| 45m 41s | |
| 57m 1s | |
| 28m 21s | |
| 49m 57s | |
| 25m 47s | |
| 34m 38s | |
| 33m 41s | |
| 20h 35m 36s |