actions: Check with 3 type checkers

you will certainly not regret checking with 3 type checkers.
This commit is contained in:
Jeff Epler 2025-08-26 21:47:40 -05:00
parent 7e7294fc23
commit 399fa8618f
2 changed files with 10 additions and 1 deletions

View file

@ -55,10 +55,17 @@ jobs:
python -mpip install wheel python -mpip install wheel
python -mpip install -r requirements-dev.txt python -mpip install -r requirements-dev.txt
- name: Check stubs - name: Check stubs with mypy
if: (! startsWith(matrix.python-version, 'pypy-')) if: (! startsWith(matrix.python-version, 'pypy-'))
run: make mypy PYTHON=python run: make mypy PYTHON=python
- name: Check stubs with pyrefly
if: (! startsWith(matrix.python-version, 'pypy-'))
run: make pyrefly PYTHON=python
- name: Check stubs with pyright
if: (! startsWith(matrix.python-version, 'pypy-'))
run: make pyright PYTHON=python
test: test:
strategy: strategy:

View file

@ -7,6 +7,8 @@ build
click click
coverage >= 7.10.3 coverage >= 7.10.3
mypy; implementation_name=="cpython" mypy; implementation_name=="cpython"
pyright; implementation_name=="cpython"
pyrefly; implementation_name=="cpython"
click>=8.1.5; implementation_name=="cpython" click>=8.1.5; implementation_name=="cpython"
leapseconddata leapseconddata
platformdirs platformdirs