Pre-emptively cull unsatisfiable interpreter constraints. #2996
Job | Run time |
---|---|
1s | |
8m 34s | |
8m 46s | |
15m 24s | |
11m 18s | |
51m 24s | |
12m 58s | |
36m 32s | |
11m 26s | |
10m 45s | |
18m 46s | |
25m 54s | |
23m 33s | |
21m 3s | |
22m 58s | |
22m 27s | |
28m 38s | |
25m 58s | |
21m 8s | |
25m 23s | |
39m 23s | |
38m 42s | |
1s | |
8h 1m 2s |