Optimize _ pattern in syntax-case clauses (#728) #270
Job | Run time |
---|---|
11m 50s | |
11m 50s | |
15m 59s | |
15m 59s | |
13m 32s | |
13m 32s | |
11m 7s | |
11m 7s | |
10m 0s | |
10m 0s | |
11m 34s | |
11m 34s | |
10m 43s | |
10m 43s | |
18m 29s | |
18m 29s | |
10m 41s | |
10m 41s | |
14m 22s | |
14m 22s | |
10m 35s | |
10m 35s | |
13m 52s | |
13m 52s | |
14m 54s | |
14m 54s | |
15m 29s | |
15m 29s | |
15m 33s | |
15m 33s | |
15m 40s | |
18m 22s | |
12m 42s | |
12m 42s | |
13m 43s | |
13m 43s | |
16m 51s | |
16m 51s | |
18m 41s | |
18m 41s | |
9h 15m 16s |