Fix up mypy errors after mypy enhancement upstream #8942
Job | Run time |
---|---|
4m 47s | |
5m 43s | |
13s | |
7m 47s | |
7m 46s | |
7m 49s | |
4m 14s | |
4m 49s | |
10s | |
5m 4s | |
3m 42s | |
1s | |
7m 44s | |
59m 49s |
Job | Run time |
---|---|
4m 47s | |
5m 43s | |
13s | |
7m 47s | |
7m 46s | |
7m 49s | |
4m 14s | |
4m 49s | |
10s | |
5m 4s | |
3m 42s | |
1s | |
7m 44s | |
59m 49s |