Improve mypy checking

traveltime-dev · Sep 12, 2024 · eb7c537 · eb7c537
1 parent 0f9b9e9
commit eb7c537
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -50,6 +50,7 @@ jobs:
           black . --check --diff
       - name: Type check with mypy
         run: |
+          mypy --install-types --non-interactive .
           mypy .
       - name: Test with pytest
         run: |

diff --git a/pyproject.toml b/pyproject.toml
@@ -58,7 +58,6 @@ extend-ignore = ["E203"]                             # See https://github.com/Py
 exclude = ["build/", "venv/", "traveltimepy/proto/"]
 
 [tool.mypy]
-ignore_missing_imports = true
 exclude = "^(traveltimepy/proto/.*|build/.*|venv/.*)$"
 
 [[tool.mypy.overrides]]