diff --git a/.github/workflows/users.yml b/.github/workflows/users.yml
index 688324878..0de15f397 100644
--- 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