Drop unused #defines (#542) #513
| Job | Run time |
|---|---|
| 6m 37s | |
| 5m 52s | |
| 9m 29s | |
| 8m 17s | |
| 8m 22s | |
| 8m 45s | |
| 8m 13s | |
| 8m 23s | |
| 5m 5s | |
| 7m 45s | |
| 6m 51s | |
| 5m 7s | |
| 8m 16s | |
| 7m 54s | |
| 7m 3s | |
| 6m 25s | |
| 6m 34s | |
| 10m 45s | |
| 4m 57s | |
| 14m 54s | |
| 10m 50s | |
| 12m 47s | |
| 6m 54s | |
| 7m 9s | |
| 11m 26s | |
| 6m 54s | |
| 7m 35s | |
| 11m 26s | |
| 3h 50m 35s |