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

2021-03-31 14:17:52 -04:00 · 2021-03-31 14:17:52 -04:00 · 5fe38e07e7
parent 3a446c21f8
commit 5fe38e07e7
2 changed files with 2 additions and 1 deletions
--- a/changelog.d/9720.misc
+++ b/changelog.d/9720.misc
@ -0,0 +1 @@
+Revert using `dmypy run` in lint script.
--- 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