add mypy task to makefile

This commit is contained in:
Yay295 2024-05-23 13:27:53 -05:00 committed by GitHub
parent 4b68563e8a
commit 92d1879a77
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 -m black .
python3 -c "import ruff" > /dev/null 2>&1 || python3 -m pip install ruff python3 -c "import ruff" > /dev/null 2>&1 || python3 -m pip install ruff
python3 -m ruff --fix . 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