Workaround "Pattern match has inaccessible right hand side" bug (copy #2611) #2524
Job | Run time |
---|---|
26m 34s | |
25m 12s | |
0s | |
21m 44s | |
25m 55s | |
28m 25s | |
16m 9s | |
18m 46s | |
14m 46s | |
15m 51s | |
47s | |
3h 14m 9s |
Job | Run time |
---|---|
26m 34s | |
25m 12s | |
0s | |
21m 44s | |
25m 55s | |
28m 25s | |
16m 9s | |
18m 46s | |
14m 46s | |
15m 51s | |
47s | |
3h 14m 9s |