diff options
author | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-05-14 14:04:16 +0200 |
---|---|---|
committer | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-05-14 15:51:49 +0200 |
commit | 413bb2cf6a2eafd06e9ae1da7dcec749ab6f227b (patch) | |
tree | 9df1b47a2222a565019142904ae2f4e3a3a5f182 /.gitlab-ci.yml | |
parent | f3ef7928b2d92a93ad9da28bb703ba4a5e715880 (diff) |
Gitlab: skip docker job when $SKIP_DOCKER == "true".
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 3ef592abc..3d4cee8fb 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -28,6 +28,9 @@ docker-boot: - if docker pull "$IMAGE"; then echo "Image prebuilt!"; exit 0; fi - docker build -t "$IMAGE" . - docker push "$IMAGE" + except: + variables: + - $SKIP_DOCKER == "true" before_script: - cat /proc/{cpu,mem}info || true |