From a892a21b927bcaddc8c6114560204968f3f56dfc Mon Sep 17 00:00:00 2001
From: Martijn Pieters <mj@zopatista.com>
Date: Tue, 9 May 2023 17:08:39 +0100
Subject: [PATCH] Run mypy during CI checks

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index c82de1d..0cdeb49 100644
--- a/Makefile
+++ b/Makefile
@@ -14,6 +14,7 @@ style: deps
 check: deps
 	@black $(checkfiles) || (echo "Please run 'make style' to auto-fix style issues" && false)
 	@flake8 $(checkfiles)
+	@mypy ${checkfiles}
 
 test: deps
 	$(py_warn) pytest