Run pre-commit during our CI

pre-commit.ci service is failing and it's not like that guy will
fix whatever the problem on their end is.
This commit is contained in:
Jeff Epler 2023-01-31 07:51:01 -06:00
parent 19901b845d
commit 3f18bf6c11
No known key found for this signature in database
GPG key ID: D5BF15AB975AB4DE

View file

@ -48,6 +48,8 @@ jobs:
python -mpip install wheel
python -mpip install -r requirements-dev.txt
- name: pre-commit
run: pre-commit run --all
- name: Check stubs
if: (! startsWith(matrix.python-version, 'pypy-'))
run: make mypy PYTHON=python