diff options
| author | Erik Martin-Dorel | 2019-08-10 14:41:22 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel | 2019-08-10 14:43:20 +0200 |
| commit | bc8c277880e5181399f4a561913637a7fc5a57b2 (patch) | |
| tree | 38b0caa53e40c7cbe09b2f6c940a5c644fe6093c /.gitlab-ci.yml | |
| parent | 74a8e2221d84a2e716c4c4165b829649fe543a6e (diff) | |
fix(.gitlab-ci.yml): duplicated "variables:" entry
This could explain why the change in b8eadb8603b83c053a313b39c2a8f268385d8942
was not taken into account.
Diffstat (limited to '.gitlab-ci.yml')
| -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: |