Merge branch 'ci/pin_dind_image' into 'dev'

Pin docker image to a working one. See merge request ligolang/ligo!424
2020-02-15 15:54:36 +00:00 · 2020-02-15 15:54:36 +00:00 · 26332f396e
commit 26332f396e
parent b4ef2ed76f 1d06dd4f74
1 changed files with 2 additions and 2 deletions
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@ -80,9 +80,9 @@ dont-merge-to-master:
      - public

 .docker: &docker
-  image: docker:19
+  image: docker:19.03.5
  services:
-    - docker:19-dind
+    - docker:19.03.5-dind


 .before_script: &before_script