swap mypy in lint CI for pyright

gjtorikian · gjtorikian · commit f57e7cca9b9d · 2026-03-31T13:19:06.000-04:00
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -31,4 +31,4 @@ jobs:
         run: uv run ruff check --extend-exclude .devbox
 
       - name: Type check
-        run: uv run mypy
+        run: uv run pyright
