From 0fc73b31859abb42f3fccf018497b33dfa49c33b Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 22 Aug 2019 19:06:32 +0200
Subject: [gitlab/ci] Do not wait for all builds to finish to run the tests.

---
 .gitlab-ci.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0501de8534..c46e56c721 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -110,6 +110,8 @@ before_script:
 
 .dune-ci-template:
   stage: test
+  needs:
+    - build:edge+flambda:dune:dev
   dependencies:
     - build:edge+flambda:dune:dev
   script:
@@ -192,11 +194,15 @@ before_script:
     - make -f Makefile.ci -j "$NJOBS" "${CI_JOB_NAME#*:}"
     - echo 'end:coq.test'
     - set +e
+  needs:
+    - build:base
   dependencies:
     - build:base
 
 .ci-template-flambda:
   extends: .ci-template
+  needs:
+    - build:edge+flambda
   dependencies:
     - build:edge+flambda
   variables:
-- 
cgit v1.2.3