aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGuido Günther <agx@sigxcpu.org>2022-05-27 16:18:08 +0200
committerGuido Günther <agx@sigxcpu.org>2022-05-27 16:18:08 +0200
commit441bd274de73b97f7f393aeee0aed9b5b373a011 (patch)
tree30df909d8862b1112962772f96f0395b98642b08
parent92c3fd2f631368f4febb3cba9cebdcf151612262 (diff)
Makefile: add type-check
-rw-r--r--Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 6134edab..4e0e2d8a 100644
--- a/Makefile
+++ b/Makefile
@@ -22,6 +22,9 @@ syntax-check:
flake8 $(FLAKE_OPTS)
flake8 $(FLAKE_OPTS) $(PY_EXAMPLES)
+type-check:
+ mypy gbp
+
docs:
$(MAKE) -C docs
$(MAKE) apidocs