diff --git a/.github/workflows/build-and-test.yml b/.github/workflows/build-and-test.yml index de5ebe481..2327c3f31 100644 --- 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 index be9f95100..0d407499a 100644 --- 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