Update mypy and various typing improvements #450
Job | Run time |
---|---|
59s | |
1m 9s | |
1m 34s | |
1m 36s | |
1m 40s | |
1m 38s | |
1m 43s | |
1m 35s | |
1m 35s | |
1m 3s | |
57s | |
15m 29s |
Job | Run time |
---|---|
59s | |
1m 9s | |
1m 34s | |
1m 36s | |
1m 40s | |
1m 38s | |
1m 43s | |
1m 35s | |
1m 35s | |
1m 3s | |
57s | |
15m 29s |