Improve type checking.

Author: tobiasraabe

.github/workflows/main.yml

@@ -15,6 +15,20 @@ on:
 
 jobs:
 
+  run-type-checking:
+
+    name: Run tests for type-checking
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v4
+      - uses: prefix-dev/[email protected]
+        with:
+          pixi-version: v0.20.1
+          cache: true
+          environments: typing
+      - run: pixi run typing
+
   run-tests:
 
     name: Run tests for ${{ matrix.os }} on ${{ matrix.environment }}