Add mypy run to CI

nose-devs · May 31, 2024 · f610da8 · f610da8
1 parent 7a1f154
commit f610da8
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 1 deletion.
diff --git 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
@@ -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