Merge pull request #146 from jepler/restore-typechecking

This commit is contained in:
Jeff Epler 2025-05-21 16:49:58 +02:00 committed by GitHub
commit 7137105b18
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 5 additions and 1 deletions

View file

@ -55,6 +55,10 @@ 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
if: (! startsWith(matrix.python-version, 'pypy-'))
run: make mypy PYTHON=python
test: test:
strategy: strategy:

View file

@ -44,7 +44,7 @@ test_venv:
.PHONY: mypy .PHONY: mypy
mypy: mypy:
$(Q)mypy --strict --no-warn-unused-ignores src $(Q)mypy --strict --no-warn-unused-ignores src test
.PHONY: update .PHONY: update
update: update: