Skip to content
This repository was archived by the owner on Apr 26, 2024. It is now read-only.

Commit 5fe38e0

Browse files
authored
Revert "Use 'dmypy run' in lint.sh instead of 'mypy' (#9701)" (#9720)
1 parent 3a446c2 commit 5fe38e0

File tree

2 files changed

+2
-1
lines changed

2 files changed

+2
-1
lines changed

changelog.d/9720.misc

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
Revert using `dmypy run` in lint script.

scripts-dev/lint.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -95,4 +95,4 @@ isort "${files[@]}"
9595
python3 -m black "${files[@]}"
9696
./scripts-dev/config-lint.sh
9797
flake8 "${files[@]}"
98-
dmypy run
98+
mypy

0 commit comments

Comments
 (0)