More syntax unification #3445
Job | Run time |
---|---|
45s | |
53s | |
31s | |
38s | |
2m 7s | |
48s | |
34s | |
34s | |
59s | |
38s | |
19s | |
35s | |
50s | |
32s | |
22s | |
35s | |
50s | |
50s | |
53s | |
1m 0s | |
49s | |
59s | |
23s | |
41s | |
32s | |
28s | |
1m 6s | |
41s | |
1m 21s | |
52s | |
31s | |
46s | |
36s | |
46s | |
36s | |
36s | |
36s | |
49s | |
43s | |
50s | |
51s | |
32s | |
14s | |
50s | |
36s | |
55s | |
34s | |
49s | |
31s | |
35s | |
1m 19s | |
34s | |
2m 33s | |
49s | |
1m 53s | |
15s | |
43m 44s |