From 22b658f681af4bc3bf0849cab6ebb8415afbb432 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Gilbert?= <gaetan.gilbert@skyskimmer.net>
Date: Wed, 18 Dec 2024 15:52:09 +0100
Subject: [PATCH] CI: validate jobs also check stdlib

validate-template is implemented such that we don't need to modify its
script, we just add dependencies.
---
 .gitlab-ci.yml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8bafba96a20a1..a4e7b5fe3cbec 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -163,7 +163,7 @@ before_script:
 
 # set "needs" when using
 .validate-template:
-  stage: build-1
+  stage: build-2
   interruptible: true
   extends: .auto-use-tags
   needs:
@@ -577,8 +577,10 @@ validate:base:
   extends: .validate-template
   needs:
     - build:base
+    - library:ci-stdlib
   only: *full-ci
 
+# we currently don't have a stdlib+32bit job
 validate:base+32bit:
   extends: .validate-template
   needs:
@@ -592,6 +594,7 @@ validate:edge+flambda:
   image: $EDGE_IMAGE
   needs:
     - build:edge+flambda
+    - library:ci-stdlib+flambda
   variables:
     OPAM_VARIANT: "+flambda"
   only: *full-ci