From 08fc5e3f313326d225d77a4810649de619d74063 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Thu, 14 Nov 2024 15:00:16 +0100
Subject: [PATCH] [DO NOT MERGE] pin elpi

---
 .github/workflows/main.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 609b027bf..5542c3b9d 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -49,6 +49,9 @@ jobs:
         opam pin add coq-core ${{ matrix.coq_version }}
         opam pin add coq-stdlib ${{ matrix.coq_version }}
       if: ${{ matrix.coq_version != 'dev' }}
+
+    - run: opam pin add https://github.com/LPCIC/elpi.git#scoped-term
+
     - run: opam install ./coq-elpi.opam --deps-only --with-test -y
     - run: opam exec make build
     - run: opam exec make test