From 58490528f526817c82763591963717b30e88e461 Mon Sep 17 00:00:00 2001
From: Stijn de Gooijer <stijndegooijer@gmail.com>
Date: Thu, 22 Feb 2024 16:26:57 +0100
Subject: [PATCH] Enable mypy lint in CI

---
 .github/workflows/lint.yml | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index 29a9c46..4bb51ba 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -28,3 +28,21 @@ jobs:
         with:
           version: ${{ steps.version.outputs.version }}
           args: format --diff
+
+  mypy:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Set up Python
+        uses: actions/setup-python@v5
+        with:
+          python-version: '3.12'
+          cache: pip
+
+      - name: Install dependencies
+        run: pip install -r requirements-txt.txt
+
+      # Allow untyped calls for older Python versions
+      - name: Run mypy
+        run: mypy