Assorted MyPy improvments #1253
Job | Run time |
---|---|
15s | |
1m 51s | |
1m 52s | |
2m 7s | |
0s | |
1m 57s | |
3m 18s | |
3m 25s | |
3m 5s | |
2m 31s | |
0s | |
0s | |
0s | |
12s | |
0s | |
55s | |
22s | |
57s | |
41s | |
2m 31s | |
25m 59s |
Job | Run time |
---|---|
15s | |
1m 51s | |
1m 52s | |
2m 7s | |
0s | |
1m 57s | |
3m 18s | |
3m 25s | |
3m 5s | |
2m 31s | |
0s | |
0s | |
0s | |
12s | |
0s | |
55s | |
22s | |
57s | |
41s | |
2m 31s | |
25m 59s |