aboutsummaryrefslogtreecommitdiff
path: root/.gitlab-ci.yml
diff options
context:
space:
mode:
authorErik Martin-Dorel2019-07-29 23:39:05 +0200
committerErik Martin-Dorel2019-07-30 12:54:58 +0200
commitb8eadb8603b83c053a313b39c2a8f268385d8942 (patch)
treec28a6d572d1e3deb96392063f5581436f041895f /.gitlab-ci.yml
parent1624bfe8406017cff82904ebab3d06a9dec17153 (diff)
refactor: deploy jobs need not clone the repo
* Set "GIT_STRATEGY: none" accordingly
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r--.gitlab-ci.yml2
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