From 92d1879a776be3b109a26786d6611cab9ef6181c Mon Sep 17 00:00:00 2001 From: Yay295 Date: Thu, 23 May 2024 13:27:53 -0500 Subject: [PATCH] add mypy task to makefile --- Makefile | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/Makefile b/Makefile index 1f9b4a370df..94f7565d826 100644 --- a/Makefile +++ b/Makefile @@ -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