From b78c5b5aa59710aa4299bbde5a33a6a0a3a83ccf Mon Sep 17 00:00:00 2001
From: Philipp Arras <parras@mpa-garching.mpg.de>
Date: Thu, 21 May 2020 12:04:35 +0200
Subject: [PATCH] Pin docker version to 19.03.8
Our CI machine runs a Docker version which is too old otherwise. Hopefully to be
fixed in the near future
---
.gitlab-ci.yml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 3a789f2ad..037c076b2 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -13,7 +13,7 @@ stages:
build_docker_from_scratch:
only:
- schedules
- image: docker:stable
+ image: docker:19.03.8
stage: build_docker
before_script:
- ls
@@ -25,7 +25,7 @@ build_docker_from_scratch:
build_docker_from_cache:
except:
- schedules
- image: docker:stable
+ image: docker:19.03.8
stage: build_docker
before_script:
- ls
--
GitLab