Improve structure of possible_types and references_to #2263
Job | Run time |
---|---|
25s | |
38s | |
56s | |
26s | |
1m 9s | |
1m 7s | |
1m 10s | |
1m 20s | |
1m 9s | |
1m 23s | |
1m 4s | |
1m 13s | |
1m 27s | |
1m 27s | |
14m 54s |
Job | Run time |
---|---|
25s | |
38s | |
56s | |
26s | |
1m 9s | |
1m 7s | |
1m 10s | |
1m 20s | |
1m 9s | |
1m 23s | |
1m 4s | |
1m 13s | |
1m 27s | |
1m 27s | |
14m 54s |