Merge pull request #2212 from jwillemsen/jwi-defaultcpp17 #3071
Job | Run time |
---|---|
21m 21s | |
22m 49s | |
27m 54s | |
23m 21s | |
29m 2s | |
35m 2s | |
35m 27s | |
23m 28s | |
22m 18s | |
22m 57s | |
24m 9s | |
24m 50s | |
25m 37s | |
25m 2s | |
26m 22s | |
28m 8s | |
27m 33s | |
13m 34s | |
18m 38s | |
19m 28s | |
19m 56s | |
1h 19m 12s | |
9h 56m 8s |