ci: add type checker

.github/workflows/main.yml

@@ -3,7 +3,7 @@ name: test & lint
 on:
   push:
     branches:
-      - '*'
+      - "*"
   pull_request:
     types: [opened, reopened]
   workflow_dispatch:
@@ -13,7 +13,7 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        python-version: ['3.8', '3.9', '3.10', '3.11', '3.12']
+        python-version: ["3.8", "3.9", "3.10", "3.11", "3.12"]
       fail-fast: false
 
     steps:
@@ -23,9 +23,9 @@ jobs:
           python-version: ${{ matrix.python-version }}
 
       - name: Install dev dependencies
-        run: 'pip install .[dev]'
+        run: "pip install .[dev]"
       - name: Run tests
-        run: 'python -m pytest -v'
+        run: "python -m pytest -v"
 
   ruff:
     runs-on: ubuntu-latest
@@ -33,9 +33,22 @@ jobs:
       - uses: actions/checkout@v4
       - uses: actions/setup-python@v5
         with:
-          python-version: '3.12'
+          python-version: "3.12"
 
       - name: Install dev dependencies
-        run: 'pip install .[dev]'
+        run: "pip install .[dev]"
       - name: Run linter
-        run: 'ruff check'
+        run: "ruff check"
+
+  pyright:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: "3.12"
+
+      - name: Install dev dependencies
+        run: "pip install .[dev]"
+      - name: Run pyright
+        uses: jakebailey/pyright-action@v2