mypy everything in the CI

Author: jorenham

.github/workflows/ci.yml

@@ -32,7 +32,7 @@ jobs:
 
       - uses: actions/setup-python@v5
         with:
-          python-version: "3.10"
+          python-version: "3.13"
           cache: poetry
 
       - name: install
@@ -44,7 +44,10 @@ jobs:
       - name: typetest
         run: poe typetest
 
-      - name: typecheck (partial)
+      - name: basedmypy
+        run: poe mypy
+
+      - name: basedpyright (partial)
         run: |
           targets=(
             "_lib"
@@ -62,7 +65,6 @@ jobs:
             "special"
           )
           for target in "${targets[@]}"; do
-            poe mypy $target
             poe pyright $target
           done