From 459a895cfd055ebdbc9e9568b706d6a35fa2c2f1 Mon Sep 17 00:00:00 2001
From: Vitaliy Mysak <vmysak@bccfe.ca>
Date: Wed, 22 Nov 2023 11:47:08 -0800
Subject: [PATCH] Run mypy on CI

---
 .github/workflows/build-and-test.yml | 3 +++
 requirements-dev.txt                 | 2 ++
 2 files changed, 5 insertions(+)

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