bugfix: exhaustive match on stale symbols #11473
Job | Run time |
---|---|
26m 59s | |
25m 33s | |
11m 53s | |
21m 21s | |
49m 26s | |
20m 5s | |
10m 55s | |
12m 39s | |
24m 46s | |
12m 30s | |
18m 17s | |
31m 44s | |
16m 22s | |
18m 21s | |
20m 29s | |
56m 53s | |
40s | |
8m 56s | |
1m 55s | |
2m 21s | |
4m 34s | |
1m 7s | |
6h 37m 46s |