From 12f15a0cb889d93a2b15c9788aa280e31495185f Mon Sep 17 00:00:00 2001
From: Vitaliy Mysak <vmysak@bccfe.ca>
Date: Wed, 13 Mar 2024 15:02:47 -0700
Subject: [PATCH] Run typechecker on CI

---
 .github/workflows/main.yml | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 967d4af..3ff3c6f 100644
--- 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