Run typechecker on CI

cfe-lab · Mar 13, 2024 · 12f15a0 · 12f15a0
1 parent 8c32f5a
commit 12f15a0
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -74,3 +74,17 @@ jobs:
 
       - name: Run linter
         run: flake8
+
+  typechecker:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+
+      - name: Install dependencies
+        run: sudo apt-get update && sudo apt-get install -y python3 python3-pip
+
+      - name: Run build
+        run: pip3 install .[dev]
+
+      - name: Run typechecker
+        run: mypy