Fix #1205
| Job | Run time |
|---|---|
| 6m 58s | |
| 8m 33s | |
| 7m 56s | |
| 19m 15s | |
| 47m 10s | |
| 22m 15s | |
| 32m 16s | |
| 3m 22s | |
| 39m 53s | |
| 21m 54s | |
| 30m 30s | |
| 1h 37m 54s | |
| 30m 17s | |
| 1h 58m 22s | |
| 31m 43s | |
| 48m 10s | |
| 33m 5s | |
| 10m 51s | |
| 35m 41s | |
| 1h 47m 57s | |
| 2h 10m 22s | |
| 50m 24s | |
| 38m 11s | |
| 2h 1m 26s | |
| 2h 28m 19s | |
| 48s | |
| 20h 43m 32s |