fix some mypy issues #5070
Job | Run time |
---|---|
17m 47s | |
17m 47s | |
18m 35s | |
18m 35s | |
45m 15s | |
18m 6s | |
45m 19s | |
45m 19s | |
17m 29s | |
17m 29s | |
18m 9s | |
18m 9s | |
17m 20s | |
17m 20s | |
45m 15s | |
45m 15s | |
20m 13s | |
20m 13s | |
20m 29s | |
20m 29s | |
15m 29s | |
15m 29s | |
7m 0s | |
7m 0s | |
9h 9m 31s |