From f610da8bb45bdb4596c8b3661428da1f11577842 Mon Sep 17 00:00:00 2001
From: Stephen Rosen <sirosen@globus.org>
Date: Thu, 30 May 2024 22:24:16 -0500
Subject: [PATCH] Add mypy run to CI

---
 .github/workflows/build.yaml | 11 +++++++++++
 tox.ini                      |  2 +-
 2 files changed, 12 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
index 26c96066..08bb3073 100644
--- a/.github/workflows/build.yaml
+++ b/.github/workflows/build.yaml
@@ -28,6 +28,17 @@ jobs:
           pip install -e '.[dev]'
           nose2 -v --pretty-assert
 
+  typing:
+    name: 'typing (mypy)'
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: "3.12"
+      - run: pip install tox
+      - run: tox run -e mypy
+
   test:
     strategy:
       fail-fast: false
diff --git a/tox.ini b/tox.ini
index bb03b722..ea3a8724 100644
--- a/tox.ini
+++ b/tox.ini
@@ -22,7 +22,7 @@ commands = pre-commit run --all-files
 [testenv:mypy]
 extras = dev
 deps =
-    mypy
+    mypy==1.10.0
     types-setuptools
     types-docutils
     tomli