From c2b9df20204a60bc23535648ff772c4faab45851 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 22 Aug 2019 18:42:01 +0200
Subject: [gitlab/ci] Deploy sooner thanks to new needs keyword.

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7c9a5c9a31..e6eba7745a 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -367,7 +367,8 @@ pkg:nix:deploy:channel:
   only:
     variables:
       - $CACHIX_DEPLOYMENT_KEY
-  dependencies:
+  dependencies: []
+  needs:
     - pkg:nix:deploy
   script:
     - echo "$CACHIX_DEPLOYMENT_KEY" | tr -d '\r' | ssh-add - > /dev/null
@@ -414,6 +415,10 @@ doc:refman:deploy:
     - doc:ml-api:odoc
     - doc:refman:dune
     - doc:stdlib:dune
+  needs:
+    - doc:ml-api:odoc
+    - doc:refman:dune
+    - doc:stdlib:dune
   script:
     - echo "$DOCUMENTATION_DEPLOY_KEY" | tr -d '\r' | ssh-add - > /dev/null
     - git clone git@github.com:coq/doc.git _deploy
-- 
cgit v1.2.3