Run mypy on CI

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

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/.github/workflows/build-and-test.yml b/.github/workflows/build-and-test.yml
@@ -100,3 +100,6 @@ jobs:
           rm -rf micall/tests/microtest/scratch
           python -m pip install codecov
           codecov
+
+      - name: Run type checker
+        run: 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