[DO NET MERGE] CI

LPCIC · Nov 21, 2024 · 80d1c80 · 80d1c80
1 parent 98395c1
commit 80d1c80
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/users.yml b/.github/workflows/users.yml
@@ -27,7 +27,7 @@ jobs:
             OPAMWITHTEST: false
 
         - run: opam pin add coq-elpi https://github.com/LPCIC/coq-elpi.git#elpi-new-compiler
-        - run: opam pin add coq-hierarchy-builder https://github.com/math-comp/hierarchy-builder.git#fix-elpi-loc
+        - run: opam pin add coq-hierarchy-builder https://github.com/math-comp/hierarchy-builder.git#elpi-2.0
         - run: opam pin add coq-mathcomp-ssreflect https://github.com/math-comp/math-comp.git#master
         - run: opam pin add coq-mathcomp-fingroup https://github.com/math-comp/math-comp.git#master
         - run: opam pin add coq-mathcomp-algebra https://github.com/math-comp/math-comp.git#master