summary refs log tree commit diff
path: root/scripts-dev/lint.sh
diff options
context:
space:
mode:
authorAndrew Morgan <andrew@amorgan.xyz>2021-04-23 18:25:46 +0100
committerAndrew Morgan <andrew@amorgan.xyz>2021-04-23 18:25:46 +0100
commit292c80866f50d435695de4e02629843a0cd756f8 (patch)
tree72646ccacab4ca9623c9ec666d3e88e34f54b74e /scripts-dev/lint.sh
parentMerge commit '78e48f61b' into anoa/dinsic_release_1_31_0 (diff)
parent 1.31.0 (diff)
downloadsynapse-292c80866f50d435695de4e02629843a0cd756f8.tar.xz
Merge commit '1d8863c67' into anoa/dinsic_release_1_31_0
Diffstat (limited to 'scripts-dev/lint.sh')
-rwxr-xr-xscripts-dev/lint.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts-dev/lint.sh b/scripts-dev/lint.sh

index 41415ee07b..9761e97594 100755 --- 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