Clean up mypy configuration #427
| Job | Run time |
|---|---|
| 28m 50s | |
| 28m 50s | |
| 19m 53s | |
| 19m 53s | |
| 23m 53s | |
| 23m 53s | |
| 23m 21s | |
| 23m 21s | |
| 19m 23s | |
| 19m 23s | |
| 23m 34s | |
| 23m 34s | |
| 18m 31s | |
| 18m 31s | |
| 20m 9s | |
| 20m 9s | |
| 14m 44s | |
| 14m 44s | |
| 20m 9s | |
| 15m 4s | |
| 16m 57s | |
| 16m 57s | |
| 18m 6s | |
| 18m 6s | |
| 19m 8s | |
| 19m 8s | |
| 32m 10s | |
| 32m 10s | |
| 9h 52m 31s |