From 29ce6d43b533634a8b743e16e99ef3d025802e96 Mon Sep 17 00:00:00 2001
From: kleph <kleph+gh@kleph.info>
Date: Wed, 28 Oct 2020 13:49:08 +0100
Subject: Run mypy as part of the lint.sh script. (#8633)

---
 scripts-dev/lint.sh | 1 +
 1 file changed, 1 insertion(+)

(limited to 'scripts-dev')

diff --git a/scripts-dev/lint.sh b/scripts-dev/lint.sh
index f2b65a2105..f141805519 100755
--- a/scripts-dev/lint.sh
+++ b/scripts-dev/lint.sh
@@ -94,3 +94,4 @@ isort "${files[@]}"
 python3 -m black "${files[@]}"
 ./scripts-dev/config-lint.sh
 flake8 "${files[@]}"
+mypy
-- 
cgit 1.4.1