Merge branch 'release-v1.31.0' into develop

2021-03-31 14:19:14 -04:00 · 2021-03-31 14:19:14 -04:00 · e32294f54b
parent 5ff8eb97c6 5fe38e07e7
commit e32294f54b
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