diff options
| author | georg | 2019-03-07 16:19:03 +0000 |
|---|---|---|
| committer | jvoisin | 2019-03-07 21:53:43 +0100 |
| commit | e40eb92b552c662d8471736e91437aa370565e05 (patch) | |
| tree | c47b6c09542888a9825620f84351c113aaee3167 | |
| parent | a5a3e4677f65cc33f172507e74790ed371f33711 (diff) | |
CI: Don't run 'pip3 install' the Docker images already does that
| -rw-r--r-- | .gitlab-ci.yml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 6f9a9da..0adeb04 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml | |||
| @@ -31,7 +31,6 @@ mypy: | |||
| 31 | image: $CONTAINER_REGISTRY:linting | 31 | image: $CONTAINER_REGISTRY:linting |
| 32 | stage: linting | 32 | stage: linting |
| 33 | script: | 33 | script: |
| 34 | - pip3 install mypy | ||
| 35 | - mypy --ignore-missing-imports mat2 libmat2/*.py ./nautilus/mat2.py | 34 | - mypy --ignore-missing-imports mat2 libmat2/*.py ./nautilus/mat2.py |
| 36 | 35 | ||
| 37 | tests:debian: | 36 | tests:debian: |
