remove redundant use of --ignore-missing-imports with mypy
#263
| Job | Run time |
|---|---|
| 28m 37s | |
| 13m 37s | |
| 42m 14s |
--ignore-missing-imports with mypy
#263
| Job | Run time |
|---|---|
| 28m 37s | |
| 13m 37s | |
| 42m 14s |