Use a set for TargetPython.get_tags for performance #5110
Job | Run time |
---|---|
46s | |
3s | |
45s | |
0s | |
21m 41s | |
21m 34s | |
13m 7s | |
18m 57s | |
30m 18s | |
17m 4s | |
18m 19s | |
13m 57s | |
15m 43s | |
15m 24s | |
17m 36s | |
15m 51s | |
16m 54s | |
15m 23s | |
14m 19s | |
13m 38s | |
17m 28s | |
2s | |
4h 58m 49s |