Philipp Hörist pushed to branch master at gajim / gajim
Commits:
-
36a7acbb
by Philipp Hörist at 2020-01-15T22:59:12+01:00
1 changed file:
Changes:
| ... | ... | @@ -15,6 +15,7 @@ run-tests: |
| 15 | 15 |
- pip3 install -I mypy
|
| 16 | 16 |
- pip3 install -I git+https://dev.gajim.org/gajim/python-nbxmpp.git@master
|
| 17 | 17 |
- pip3 install -I pylint==2.4.4
|
| 18 |
+ - mypy -V
|
|
| 18 | 19 |
- mypy gajim
|
| 19 | 20 |
- scripts/dev/pylint-ci.sh --jobs=2 gajim
|
| 20 | 21 |
- python3 setup.py test -s test.no_gui
|