Type spreads of regular variants in patterns #4844
Job | Run time |
---|---|
24s | |
2m 1s | |
12s | |
3m 10s | |
12s | |
5m 8s | |
17s | |
2m 7s | |
32s | |
2m 52s | |
1m 42s | |
1m 45s | |
1m 30s | |
24s | |
28s | |
16s | |
13s | |
27s | |
34s | |
0s | |
24m 14s |
Job | Run time |
---|---|
24s | |
2m 1s | |
12s | |
3m 10s | |
12s | |
5m 8s | |
17s | |
2m 7s | |
32s | |
2m 52s | |
1m 42s | |
1m 45s | |
1m 30s | |
24s | |
28s | |
16s | |
13s | |
27s | |
34s | |
0s | |
24m 14s |