Skip to content

Use defines

Use defines #680

Job Run time
20m 45s
15m 55s
24m 34s
18m 59s
2m 25s
24m 1s
2m 16s
4m 29s
12m 52s
4m 22s
3m 45s
2m 32s
2m 8s
16m 58s
13m 23s
12m 26s
12m 35s
13m 24s
12m 54s
18m 44s
4m 8s
18m 5s
3m 28s
3m 8s
3m 45s
18m 6s
3m 33s
2m 40s
2m 43s
3m 9s
2m 57s
3m 3s
22m 41s
5h 30m 53s