chore: add mypy runner script

Eventually this command should fold into `bin/lint` and be removed. For now, it's a convenient execution wrapper. Signed-off-by: Mike Fiedler <miketheman@gmail.com>
miketheman · Mar 7, 2022 · fffeadb · fffeadb
1 parent ad707cd
commit fffeadb
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/bin/mypy b/bin/mypy
@@ -0,0 +1,4 @@
+#!/bin/bash
+set -e
+
+python -m mypy -p warehouse