Merge branch 'ci' into 'master'

ci/preliminary_checks: Use new minimalist docker image See merge request !28

Merge branch 'ci' into 'master'
ci/preliminary_checks: Use new minimalist docker image See merge request !28
a8dc699d · PRUVOST Florent · dcb76d76 · ea2a1bd2 · a8dc699d
Commit a8dc699d authored 1 month ago by PRUVOST Florent
--- 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: