From 677e743e84f404e4a53933a783ca43ac23f7aab0 Mon Sep 17 00:00:00 2001
From: Michael Soegtrop <7895506+MSoegtropIMC@users.noreply.github.com>
Date: Wed, 13 Nov 2024 08:20:43 +0100
Subject: [PATCH] CI: add elpi as dependency for CoRN

---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 793ca27191bbf..5f03ea0d51d0a 100644
--- 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+