[DO NOT MERGE] pin elpi

LPCIC · Nov 21, 2024 · 08fc5e3 · 08fc5e3
1 parent 0e4eb52
commit 08fc5e3
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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