😏 Mypy is better.

Pytype is giving me errors.
rentruewang · Jan 8, 2024 · 4c32354 · 4c32354
1 parent cb6b5ba
commit 4c32354
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 5 deletions.
diff --git a/.github/workflows/typecheck.yaml b/.github/workflows/typecheck.yaml
@@ -23,8 +23,6 @@ jobs:
       - name: 🚂 Activate environment
         run: echo "$(poetry env info --path)/bin" >> $GITHUB_PATH
 
-      - name: 🏃 pytype
-        uses: theahura/pytypes-action@main
-        with:
-          args: -d import-error -d not-supported-error
+      - name: 🏃 mypy
+        run: mypy . --disable-error-code=import-untyped --disable-error-code=import-not-found
 
diff --git a/pyproject.toml b/pyproject.toml
@@ -22,8 +22,8 @@ mkdocs = "^1.4.3"
 mkdocs-git-revision-date-plugin = "^0.3.1"
 mkdocs-git-revision-date-localized-plugin = "^0.11.1"
 mkdocs-material = "^9.1.15"
+mypy = "^1.8.0"
 pytest = "^7.3.1"
-pytype = "^2023.12.18"
 
 [build-system]
 requires = ["poetry-core"]