Run mypy on CI

cfe-lab · Nov 22, 2023 · 46c2a49 · 46c2a49
1 parent 0833e0a
commit 46c2a49
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/.github/workflows/build-and-test.yml b/.github/workflows/build-and-test.yml
@@ -100,3 +100,8 @@ jobs:
           rm -rf micall/tests/microtest/scratch
           python -m pip install codecov
           codecov
+
+      - name: Run type checker
+        run: |
+          python -m pip install -r requirements-dev.txt
+          mypy
diff --git a/requirements-dev.txt b/requirements-dev.txt
@@ -3,3 +3,5 @@
 -r requirements-watcher.txt
 # Used for plotting profiling results.
 gprof2dot==2022.7.29
+mypy==1.7.0
+mypy-extensions==1.0.0