Mypy: add workaround for wrong type in ternary #2332
Job | Run time |
---|---|
1m 27s | |
51s | |
52s | |
58s | |
47s | |
56s | |
52s | |
1m 6s | |
1m 9s | |
1m 11s | |
24s | |
47s | |
39s | |
11m 59s |
Job | Run time |
---|---|
1m 27s | |
51s | |
52s | |
58s | |
47s | |
56s | |
52s | |
1m 6s | |
1m 9s | |
1m 11s | |
24s | |
47s | |
39s | |
11m 59s |