diff options
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: |