move type check to another target

thingsapi · Nov 10, 2024 · 8aa51bf · 8aa51bf
1 parent 3f2fd7b
commit 8aa51bf
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -95,6 +95,8 @@ code-lint: code-style ## Lint the code
 	@echo Flake...
 	@if type flake8 >/dev/null 2>&1 ; then flake8 . ; \
 	 else echo "SKIPPED. Run '$(PIP) install flake8' first." >&2 ; fi
+
+code-check-types: ## Check the code types
 	@echo Pyright...
 	@if type pyright >/dev/null 2>&1 ; then PYRIGHT_PYTHON_FORCE_VERSION=latest pyright *.py $(SRC_CORE) $(SRC_TEST) ; \
 	 else echo "SKIPPED. Run 'npm install -f pyright' first." >&2 ; fi