Backport PR coq#18608: Have separate jobs for ext_lib, simple_io, itr…

…ee_io
SkySkimmer · Feb 5, 2024 · b0d8e8e · b0d8e8e
2 parents 66bf7d7 + 76c5a2c
commit b0d8e8e
Showing 1 changed file with 20 additions and 1 deletion.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -640,6 +640,9 @@ library:ci-cross_crypto:
 library:ci-engine_bench:
   extends: .ci-template
 
+library:ci-ext_lib:
+  extends: .ci-template-flambda
+
 library:ci-fcsl_pcm:
   extends: .ci-template-flambda
   needs:
@@ -773,8 +776,22 @@ library:ci-itree:
   extends: .ci-template-flambda
   needs:
     - build:edge+flambda
+    - library:ci-ext_lib
     - library:ci-paco
 
+library:ci-itree_io:
+  extends: .ci-template-flambda
+  needs:
+    - build:edge+flambda
+    - library:ci-simple_io
+    - library:ci-itree
+
+library:ci-simple_io:
+  extends: .ci-template-flambda
+  needs:
+    - build:edge+flambda
+    - library:ci-ext_lib
+
 library:ci-sf:
   extends: .ci-template
 
@@ -833,7 +850,7 @@ library:ci-http:
   needs:
   - build:edge+flambda
   - library:ci-menhir
-  - library:ci-itree
+  - library:ci-itree_io
   - plugin:ci-quickchick
 
 # Plugins are by definition the projects that depend on Coq's ML API
@@ -922,6 +939,8 @@ plugin:ci-quickchick:
   extends: .ci-template-flambda
   needs:
   - build:edge+flambda
+  - library:ci-ext_lib
+  - library:ci-simple_io
   - library:ci-mathcomp_1
 
 plugin:ci-quickchick_test: