😏 Pytype is better.

Pyright is giving me errors.
rentruewang · Jan 5, 2024 · cb6b5ba · cb6b5ba
1 parent 28c9d16
commit cb6b5ba
Show file tree

Hide file tree

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