Adding more commands to makefile

Asaurus1 · Mar 7, 2024 · 1bb5429 · 1bb5429
1 parent 4b1f1f6
commit 1bb5429
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -16,11 +16,19 @@ install:
 	pip install -r requirements.txt
 	pip install .
 
+.PHONY: check
+# Run all code checkers
+check: test typecheck
+
 .PHONY: test
 # Run unit tests
 test:
 	pytest tests/
-	mypy streamlit_qs/ example.py tests/ --check-untyped-defs
+
+.PHONY: typecheck
+# Run typechecking
+typecheck:
+	mypy streamlit_qs/ example.py tests/ --check-untyped-defs --install-types
 
 .PHONY: clean
 # Remove temporary files