Heuristic for pattern matching untagged variants. #5141
Job | Run time |
---|---|
20s | |
2m 42s | |
15s | |
3m 11s | |
7s | |
4m 7s | |
14s | |
2m 27s | |
30s | |
2m 59s | |
1m 50s | |
1m 32s | |
1m 41s | |
35s | |
30s | |
16s | |
15s | |
25s | |
44s | |
0s | |
24m 40s |
Job | Run time |
---|---|
20s | |
2m 42s | |
15s | |
3m 11s | |
7s | |
4m 7s | |
14s | |
2m 27s | |
30s | |
2m 59s | |
1m 50s | |
1m 32s | |
1m 41s | |
35s | |
30s | |
16s | |
15s | |
25s | |
44s | |
0s | |
24m 40s |