diff options
author | Philipp Hörist <philipp@hoerist.com> | 2020-01-16 00:48:52 +0300 |
---|---|---|
committer | Philipp Hörist <philipp@hoerist.com> | 2020-01-16 00:48:52 +0300 |
commit | 81dee69ba9878744a9c8cd14b6c50dbdbca7ee2a (patch) | |
tree | 52ef6935a6a5172e505e4ec3aaef795a27590355 | |
parent | f1eeb23021e1248b731b2c922df2db4dee2667ff (diff) |
CI: Reinstall mypy and pylint
We dont want to use the global installed versions because its hard
to control what version is installed there
-rw-r--r-- | .gitlab-ci.yml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index e05ee51ce..03b43b9e2 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -10,11 +10,11 @@ run-tests: stage: test script: - rm -rf civenv-master - - virtualenv --system-site-packages civenv + - virtualenv -p python3 --system-site-packages civenv - . ./civenv/bin/activate - - pip3 install mypy + - pip3 install -I mypy - pip3 install -I nbxmpp==0.6.10 - - pip3 install pylint==2.1.1 + - pip3 install -I pylint==2.1.1 - mypy gajim - scripts/dev/pylint-ci.sh --jobs=2 gajim - python3 setup.py test -s test.no_gui |