diff options
| author | Philipp Hörist <philipp@hoerist.com> | 2018-09-22 00:56:56 +0300 |
|---|---|---|
| committer | Philipp Hörist <philipp@hoerist.com> | 2018-09-22 00:56:56 +0300 |
| commit | 0f730d1958ed549f35e0fd0a9b2e4149e820a7e7 (patch) | |
| tree | 726bf7aae1058358b779f9fdb9ee0069c3e429c6 /scripts | |
| parent | 6b2aa24d6ece14c6b178e9a13d3fca3ce97cd741 (diff) | |
Update CI
- Run mypy on the full gajim folder
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/dev/pre-push-tests.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/dev/pre-push-tests.sh b/scripts/dev/pre-push-tests.sh index 69c5b9ba6..c19a4bcb8 100644 --- a/scripts/dev/pre-push-tests.sh +++ b/scripts/dev/pre-push-tests.sh @@ -1,4 +1,4 @@ -mypy -p gajim.common.modules --follow-imports=skip +mypy gajim pylint --jobs=2 --disable=C0103,C0302,C0330,C0411,C0412,C0413,E0203,E0401,E0611,E0710,E0712,E1101,E1102,E1128,E1133,E1136,R0201,R0901,R0904,R0913,R0916,R1702,R1706,R1711,R1716,W0143,W0201,W0212,W0221,W0223,W0311,W0401,W0603,W0613,W0614 gajim # C0103 invalid-name |