diff options
| author | Cyril Cohen | 2019-08-12 15:18:40 +0200 |
|---|---|---|
| committer | GitHub | 2019-08-12 15:18:40 +0200 |
| commit | ba669012734dc17a1050b49121009d083f346303 (patch) | |
| tree | 38b0caa53e40c7cbe09b2f6c940a5c644fe6093c | |
| parent | 74a8e2221d84a2e716c4c4165b829649fe543a6e (diff) | |
| parent | bc8c277880e5181399f4a561913637a7fc5a57b2 (diff) | |
Merge pull request #376 from erikmd/fix-gitlab-yaml
[ci] fix .gitlab-ci.yml regarding "GIT_STRATEGY: none"
| -rw-r--r-- | .gitlab-ci.yml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 5000e5b..80772d1 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -345,12 +345,11 @@ ci-finmap-dev: image: docker:latest services: - docker:dind - variables: - GIT_STRATEGY: none environment: name: deployment url: https://hub.docker.com/r/mathcomp/mathcomp-dev variables: + GIT_STRATEGY: none HUB_IMAGE: "mathcomp/${CI_JOB_NAME}" IMAGE_PREFIX: "${CI_REGISTRY_IMAGE}:${CI_PIPELINE_IID}_${CI_COMMIT_REF_SLUG}" script: |