From a69cb480b6d20004e6ce396cb6cb9fde20979c8d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= <gregoire.henry@ocamlpro.com>
Date: Tue, 31 Oct 2017 17:26:29 +0100
Subject: [PATCH] Use Gitlab shared runners for more parallelism.

Allow usage of Gitlab shared runners, except for all 'docker-in-docker'
rules (see issue #46).
---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b138a5cae..c265f4ced 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -21,7 +21,7 @@ stages:
     - docker info
     - docker login -u gitlab-ci-token -p "$CI_BUILD_TOKEN" "${CI_REGISTRY}"
   tags:
-    - docker
+    - safe_docker
 
 ## Prepare docker image with precompiled OCaml/opam