Rename the Union constructors and patterns #472
Job | Run time |
---|---|
10m 4s | |
11m 3s | |
10m 10s | |
11m 20s | |
10m 14s | |
10m 58s | |
19m 11s | |
13m 20s | |
13m 24s | |
10m 15s | |
9m 47s | |
20m 24s | |
21m 59s | |
19m 9s | |
19m 14s | |
22m 11s | |
19m 13s | |
12m 10s | |
10m 22s | |
10m 23s | |
8m 34s | |
10m 8s | |
5h 3m 33s |