diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index a8360ddd2703..b80c297308fa 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -80,6 +80,11 @@ jobs: arch: x64 os: ubuntu-latest toxenv: type + - name: Type check our own code (with PyPy) + python: 'pypy-3.8' + arch: x64 + os: ubuntu-latest + toxenv: type-pypy - name: Code style with flake8 python: '3.7' arch: x64 diff --git a/tox.ini b/tox.ini index ac7cdc72fdb7..507636c12762 100644 --- a/tox.ini +++ b/tox.ini @@ -53,6 +53,14 @@ commands = python -m mypy --config-file mypy_self_check.ini -p mypy -p mypyc python -m mypy --config-file mypy_self_check.ini misc/proper_plugin.py scripts/mypyc + +[testenv:type-pypy] +description = type check ourselves +basepython = pypy3 +deps = -rmypy-requirements.txt +commands = + python -m mypy --config-file mypy_self_check.ini -p mypy + [testenv:docs] description = invoke sphinx-build to build the HTML docs basepython = python3.7