From 79d653ec595c1e20284ceccac1848ac1d561397a Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Tue, 26 Nov 2019 16:26:47 -0500
Subject: [ci] List build:edge+flambda in deps

Quoting Gaëtan Gilbert from gitter:
> IIRC dependencies is for artifacts, and the path in the immediate dep
> grabs all the user-contrib stuff so you don't need to list the
> transitive dependencies, but you do need to list the base build since
> it's not in user contrib
> this stuff isn't necessarily done intentionally though
---
 .gitlab-ci.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 6afe3bd0a8..f17e06b520 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -592,6 +592,7 @@ library:ci-coqprime:
   - build:edge+flambda
   - plugin:ci-bignums
   dependencies:
+  - build:edge+flambda
   - plugin:ci-bignums
 
 library:ci-coquelicot:
@@ -613,6 +614,7 @@ library:ci-fiat-crypto:
   - plugin:ci-bignums
   - plugin:ci-rewriter
   dependencies:
+  - build:edge+flambda
   - library:ci-bedrock2
   - library:ci-coqprime
   - plugin:ci-rewriter
-- 
cgit v1.2.3