Merge pull request #311 from neutrinoceros/typ/pyright

TYP: also typecheck against pyright
neutrinoceros · Jan 9, 2025 · 5579fe3 · 5579fe3
2 parents fbe1799 + fcf49e1
commit 5579fe3
Show file tree

Hide file tree

Showing 3 changed files with 34 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -202,10 +202,14 @@ jobs:
       with:
         python-version: ${{ matrix.python-version }}
 
-    - name: Typecheck
+    - run: uv sync --frozen --group typecheck
+    - name: Typecheck (mypy)
       run: |
-        uv run --frozen --no-editable --group typecheck mypy src/gpgi
+        uv run mypy src
 
+    - name: Typecheck (pyright)
+      run: |
+        uv run pyright src
 
   future:
     name: py${{ matrix.python-version }}

diff --git a/pyproject.toml b/pyproject.toml
@@ -52,6 +52,7 @@ concurrency = [
 ]
 typecheck = [
     "mypy>=1.13.0",
+    "pyright>=1.1.391",
 ]
 
 [tool.setuptools]

diff --git a/uv.lock b/uv.lock