From 532944627725da795d1f096b8e586fca82fc3d38 Mon Sep 17 00:00:00 2001
From: Patrick Jentsch <p.jentsch@uni-bielefeld.de>
Date: Wed, 7 Oct 2020 17:09:09 +0200
Subject: [PATCH] Update CI script

---
 .gitlab-ci.yml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index bb50557..3d97cac 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,15 +1,15 @@
-image: docker:stable
+image: docker:19.03.13
+
+variables:
+  DOCKER_TLS_CERTDIR: "/certs"
 
 services:
-  - docker:stable-dind
+  - docker:19.03.13-dind
 
 stages:
   - build
   - push
 
-variables:
-  DOCKER_DRIVER: overlay2
-
 .reg_setup:
   before_script:
     - apk add --no-cache curl