diff options
author | Philipp Hörist <philipp@hoerist.com> | 2022-12-13 21:40:15 +0300 |
---|---|---|
committer | Philipp Hörist <philipp@hoerist.com> | 2022-12-13 21:40:15 +0300 |
commit | 0bdce8acbd60c56b358328f68a45f3a2d7e4502e (patch) | |
tree | 987399c0e6272182265243dbdcdadf8338d8f6bc /scripts | |
parent | 221097dbf51c062a50611045fb42bbb6ba654c13 (diff) |
other: Scripts: Execute pyright last in pre-push-tests
It takes the most time, so execute it last
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/pre-push-tests.sh | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/scripts/pre-push-tests.sh b/scripts/pre-push-tests.sh index 3b24908f7..47352b0e5 100755 --- a/scripts/pre-push-tests.sh +++ b/scripts/pre-push-tests.sh @@ -6,10 +6,13 @@ set -e GREEN='\033[0;32m' -pyright -echo "${GREEN}pyright: \t OK" ruff . echo "${GREEN}ruff: \t\t OK" + codespell gajim echo "${GREEN}codespell: \t OK" + +pyright +echo "${GREEN}pyright: \t OK" + echo "${GREEN}ready to push" |