1 files changed, 3 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index 51e6153..96a1c6d 100644
--- a/Makefile
+++ b/Makefile
@@ -56,6 +56,9 @@ format:
 check-format:
 	yapf -d $(PYTHONFILES)
 
+check-mypy:
+	mypy $(PYTHONFILES)
+
 tags:
 	ctags -R --exclude="build/*" --exclude="cache/*" --exclude="doc/*" --exclude="results/*"