From 75c4ee3d2b2ca01a09caa9ac5d9d48c5a06a4e5d Mon Sep 17 00:00:00 2001 From: deeplow Date: Wed, 20 Jul 2022 14:29:12 +0100 Subject: [PATCH] add mypy lint to makefile --- Makefile | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/Makefile b/Makefile index 9c97fb8..932852f 100644 --- a/Makefile +++ b/Makefile @@ -14,6 +14,19 @@ lint-isort: ## check imports are organized, with isort lint-isort-apply: ## apply isort's imports organization suggestions isort ./ +mypy-host: + mypy dangerzone + +mypy-container: + mypy container + +mypy-dev-scripts: + mypy install \ + dev_scripts/* \ + *.py + +mypy: mypy-host # mypy-container mypy-dev-scripts ## check type hints with mypy + .PHONY: lint lint: lint-black lint-isort ## check the code with various linters