Revert "Use 'dmypy run' in lint.sh instead of 'mypy' (#9701)"

clokep · clokep · commit 155a3de32772 · 2021-03-31T11:50:32.000-04:00
This reverts commit f380bb7.
diff --git a/scripts-dev/lint.sh b/scripts-dev/lint.sh
@@ -95,4 +95,4 @@ isort "${files[@]}"
 python3 -m black "${files[@]}"
 ./scripts-dev/config-lint.sh
 flake8 "${files[@]}"
-dmypy run
+mypy
