CI: add elpi as dependency for CoRN

MSoegtropIMC · Nov 13, 2024 · 677e743 · 677e743
1 parent 6997cc5
commit 677e743
Showing 1 changed file with 1 addition and 0 deletions.
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+