Make sage-conf optional #4267
| Job | Run time |
|---|---|
| 2m 37s | |
| 0s | |
| 2h 19m 23s | |
| 2h 13m 16s | |
| 1h 49m 14s | |
| 2h 1m 12s | |
| 2h 6m 46s | |
| 2h 3m 9s | |
| 1h 49m 34s | |
| 2h 0m 18s | |
| 1h 54m 43s | |
| 2h 4m 44s | |
| 2h 9m 32s | |
| 2h 8m 47s | |
| 1h 59m 41s | |
| 2h 4m 26s | |
| 2h 10m 32s | |
| 2h 14m 28s | |
| 1h 26m 52s | |
| 1h 19m 0s | |
| 1d 11h 58m 14s |