ci: add type checking

GetRD · Oct 2, 2023 · d12c3fb · d12c3fb
1 parent 3c01c90
commit d12c3fb
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -1,4 +1,4 @@
-name: Test, lint, format
+name: Test, lint, format, type check
 
 on: [push, pull_request]
 
@@ -31,6 +31,9 @@ jobs:
       run: |
         poetry run isort --profile black --diff .
         poetry run black --check .
+    - name: Type checks
+      run: |
+        poetry run pyright
     # - name: Report Coverage
     #   if: matrix.python-version == '3.11'
     #   uses: codecov/codecov-action@v3