From b5c14e8e5d255c76364999abab7da5f5fb483da2 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

---
 .gitlab-ci.yml | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index bf819bb91e27..91d685cb47bd 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -166,12 +166,13 @@ before_script:
 
 # set "needs" when using
 .validate-template:
-  stage: build-1
+  stage: build-2
   interruptible: true
   extends: .auto-use-tags
   needs:
     - not-a-real-job
   script:
+    - for target in $CI_TARGETS; do dev/ci/ci-wrapper.sh "$target"; done
     - cd _install_ci
     - find lib/coq/ -name '*.vo' -fprint0 vofiles
     - xargs -0 --arg-file=vofiles bin/coqchk -o -m -coqlib lib/coq/ > ../coqchk.log 2>&1 || touch coqchk.failed
@@ -578,10 +579,14 @@ test-suite:base+async:
 
 validate:base:
   extends: .validate-template
+  variables:
+    CI_TARGETS: "stdlib"
   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:
@@ -593,8 +598,11 @@ validate:base+32bit:
 validate:edge+flambda:
   extends: .validate-template
   image: $EDGE_IMAGE
+  variables:
+    CI_TARGETS: "stdlib"
   needs:
     - build:edge+flambda
+    - library:ci-stdlib+flambda
   variables:
     OPAM_VARIANT: "+flambda"
   only: *full-ci