CI: add elpi as dependency for CoRN

MSoegtropIMC · Nov 13, 2024 · 984fe74 · 984fe74
1 parent 6997cc5
commit 984fe74
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -729,6 +729,7 @@ library:ci-corn:
   needs:
   - build:edge+flambda
   - plugin:ci-bignums
+  - plugin:ci-elpi
   - library:ci-math_classes
   stage: build-3+
 
@@ -917,6 +918,9 @@ plugin:ci-coq_dpdgraph:
 plugin:ci-coqhammer:
   extends: .ci-template-flambda
 
+plugin:ci-elpi:
+  extends: .ci-template-flambda
+
 plugin:ci-elpi_hb:
   extends: .ci-template-flambda
 

diff --git a/Makefile.ci b/Makefile.ci
@@ -126,7 +126,7 @@ ci-coquelicot: ci-mathcomp
 ci-deriving: ci-mathcomp
 ci-math_classes: ci-bignums
 
-ci-corn: ci-math_classes
+ci-corn: ci-math_classes ci-elpi
 
 ci-mtac2: ci-unicoq