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