Add prefer_single_line option #272
| Job | Run time |
|---|---|
| 2m 28s | |
| 32m 35s | |
| 39m 0s | |
| 1h 10m 6s | |
| 40m 22s | |
| 33m 22s | |
| 38m 35s | |
| 1h 5m 32s | |
| 40m 17s | |
| 1h 39m 35s | |
| 1h 10m 4s | |
| 1h 34m 20s | |
| 35m 38s | |
| 59m 12s | |
| 36m 8s | |
| 0s | |
| 2m 28s | |
| 40m 22s | |
| 1h 5m 32s | |
| 35m 38s | |
| 57m 29s | |
| 39m 0s | |
| 1h 34m 20s | |
| 1h 10m 4s | |
| 59m 12s | |
| 40m 17s | |
| 38m 35s | |
| 1h 39m 35s | |
| 36m 8s | |
| 33m 22s | |
| 32m 35s | |
| 16s | |
| 2h 30m 51s | |
| 17s | |
| 18s | |
| 2h 29m 17s | |
| 2h 17m 59s | |
| 2h 0m 18s | |
| 18s | |
| 2h 15m 6s | |
| 18s | |
| 2h 16m 44s | |
| 2h 28m 58s | |
| 2h 16m 26s | |
| 16s | |
| 14s | |
| 16s | |
| 2h 33m 9s | |
| 1h 58m 20s | |
| 2h 39m 8s | |
| 17s | |
| 2h 22m 16s | |
| 1h 30m 8s | |
| 17s | |
| 16s | |
| 22s | |
| 19s | |
| 30s | |
| 2d 6h 44m 45s |