HACK ci

LPCIC · Dec 5, 2024 · cb56ba3 · cb56ba3
1 parent 83a7e37
commit cb56ba3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/users.yml b/.github/workflows/users.yml
@@ -26,7 +26,7 @@ jobs:
           env:
             OPAMWITHTEST: false
 
-        - run: opam pin --ignore-constraints-on elpi add coq-elpi https://github.com/LPCIC/coq-elpi.git#master
+        - run: opam pin --ignore-constraints-on elpi add coq-elpi https://github.com/LPCIC/coq-elpi.git#elpi-2.0
         - run: opam pin --ignore-constraints-on elpi add coq-hierarchy-builder https://github.com/math-comp/hierarchy-builder.git#master
         - run: opam pin --ignore-constraints-on elpi add coq-mathcomp-ssreflect https://github.com/math-comp/math-comp.git#master
         - run: opam pin --ignore-constraints-on elpi add coq-mathcomp-fingroup https://github.com/math-comp/math-comp.git#master