diff options
Diffstat (limited to 'misc/scripts/mypy_check.sh')
| -rwxr-xr-x | misc/scripts/mypy_check.sh | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/misc/scripts/mypy_check.sh b/misc/scripts/mypy_check.sh deleted file mode 100755 index 2a06486d67..0000000000 --- a/misc/scripts/mypy_check.sh +++ /dev/null @@ -1,6 +0,0 @@ -#!/usr/bin/env bash - -set -uo pipefail - -echo -e "Python: mypy static analysis..." -mypy --config-file=./misc/scripts/mypy.ini . |