Make options more const (#445) #3659
| Job | Run time |
|---|---|
| 16m 41s | |
| 3m 1s | |
| 18m 18s | |
| 16m 32s | |
| 17m 35s | |
| 17m 1s | |
| 16m 31s | |
| 16m 48s | |
| 17m 35s | |
| 16m 6s | |
| 18m 17s | |
| 15m 37s | |
| 16m 1s | |
| 17m 42s | |
| 15m 42s | |
| 17m 51s | |
| 18m 4s | |
| 16m 47s | |
| 17m 8s | |
| 15m 54s | |
| 16m 14s | |
| 30m 38s | |
| 17m 54s | |
| 16m 20s | |
| 15m 44s | |
| 16m 13s | |
| 16m 5s | |
| 15m 50s | |
| 7h 50m 9s |