Merge pull request #8077 from Yay295/patch-4

Add mypy task to makefile
This commit is contained in:
Andrew Murray 2024-05-24 20:27:47 +10:00 committed by GitHub
commit 5baabb59bc
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -118,3 +118,8 @@ lint-fix:
python3 -m black .
python3 -c "import ruff" > /dev/null 2>&1 || python3 -m pip install ruff
python3 -m ruff --fix .
.PHONY: mypy
mypy:
python3 -c "import tox" > /dev/null 2>&1 || python3 -m pip install tox
python3 -m tox -e mypy