👷 See if we can run mypy differently in CI

maykinmedia · Oct 6, 2023 · e17d198 · e17d198
1 parent 87ef92e
commit e17d198
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 9 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -51,9 +51,7 @@ jobs:
         run: pip install tox tox-gh-actions
 
       - name: Run checks
-        run: tox
-        env:
-          TYPE_CHECKING: 'true'
+        run: tox -e mypy
 
   publish:
     name: Publish package to PyPI

diff --git a/tox.ini b/tox.ini
@@ -1,7 +1,7 @@
 [tox]
 envlist =
     py{310,311}
-    py{310,311}-mypy
+    mypy
     isort
     black
     flake8
@@ -13,18 +13,15 @@ python =
     3.10: py310
     3.11: py311
 
-[gh-actions:env]
-TYPE_CHECKING =
-    true: mypy
-
 [testenv]
 extras = dev
 commands =
   py.test tests \
    --cov=ape_pie --cov-report xml:reports/coverage-{envname}.xml \
    {posargs}
 
-[testenv:py{310,311}-mypy]
+[testenv:mypy]
+basepython = python
 extras = types
 skipsdist = True
 commands = mypy src