CI

LPCIC · Nov 22, 2024 · 7169481 · 7169481
1 parent c5559b4
commit 7169481
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/.github/workflows/users.yml b/.github/workflows/users.yml
@@ -26,10 +26,10 @@ jobs:
           env:
             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-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
-        - run: opam pin add coq-mathcomp-solvable https://github.com/math-comp/math-comp.git#master
-        - run: opam pin add coq-mathcomp-field https://github.com/math-comp/math-comp.git#master
+        - 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-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
+        - run: opam pin --ignore-constraints-on elpi add coq-mathcomp-algebra https://github.com/math-comp/math-comp.git#master
+        - run: opam pin --ignore-constraints-on elpi add coq-mathcomp-solvable https://github.com/math-comp/math-comp.git#master
+        - run: opam pin --ignore-constraints-on elpi add coq-mathcomp-field https://github.com/math-comp/math-comp.git#master