diff options
| author | Erik Martin-Dorel | 2019-07-29 23:39:05 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel | 2019-07-30 12:54:58 +0200 |
| commit | b8eadb8603b83c053a313b39c2a8f268385d8942 (patch) | |
| tree | c28a6d572d1e3deb96392063f5581436f041895f | |
| parent | 1624bfe8406017cff82904ebab3d06a9dec17153 (diff) | |
refactor: deploy jobs need not clone the repo
* Set "GIT_STRATEGY: none" accordingly
| -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 |
