diff options
| -rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index d7d8ba9..81c7b7e 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -327,6 +327,8 @@ 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 |