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

For it's obvious performance benefits. `dmypy` support landed in #9692.
2021-03-30 10:30:43 +01:00 · 2021-03-30 10:30:43 +01:00 · f380bb77d1
parent 01dd90b0f0
commit f380bb77d1
2 changed files with 2 additions and 1 deletions
--- a/changelog.d/9701.misc
+++ b/changelog.d/9701.misc
@ -0,0 +1 @@
+Use `dmypy run` in lint script for improved performance in type-checking while developing.
--- 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[@]}"
-mypy
+dmypy run
				`@ -0,0 +1 @@`
				Use `dmypy run` in lint script for improved performance in type-checking while developing.