Fix #1256
| Job | Run time |
|---|---|
| 7m 50s | |
| 8m 3s | |
| 8m 31s | |
| 3m 43s | |
| 35m 53s | |
| 25m 16s | |
| 12m 37s | |
| 35m 52s | |
| 25m 0s | |
| 1h 1m 25s | |
| 36m 34s | |
| 39m 24s | |
| 36m 31s | |
| 2h 7m 55s | |
| 36m 33s | |
| 3m 16s | |
| 2h 32m 20s | |
| 1h 3m 24s | |
| 36m 50s | |
| 2h 19m 48s | |
| 2h 43m 25s | |
| 1h 4m 58s | |
| 39m 32s | |
| 2h 29m 55s | |
| 3h 5m 37s | |
| 0s | |
| 1d 1h 0m 12s |