makeci

ms-jpq · Aug 2, 2023 · 6e133b8 · 6e133b8
1 parent 2189978
commit 6e133b8
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -11,7 +11,7 @@ SHELL := bash
 
 .DEFAULT_GOAL := help
 
-.PHONY: clean clobber lint test build fmt
+.PHONY: clean clobber lint test build fmt ci
 
 clean:
 	rm -v -rf -- .mypy_cache/ .venv/
@@ -61,3 +61,6 @@ build: .venv/bin/mypy
 fmt: .venv/bin/mypy
 	.venv/bin/isort --profile=black --gitignore -- .
 	.venv/bin/black -- .
+
+ci: .venv/bin/mypy
+	.venv/bin/python3 -m coq.ci