diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 2d298c36382218fdef0218473a749f5c910182aa..65b088b26530bc2e7295fee2bf1e718b09ec8a55 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -24,6 +24,7 @@ before_script: preliminary_checks: stage: pre + image: registry.gitlab.inria.fr/solverstack/docker/pre rules: - if: $CI_PIPELINE_SOURCE == "merge_request_event" parallel: