From 71694816c4cb1932b6ac712c602c9c446dbc6062 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 20 Nov 2024 16:01:27 +0100 Subject: [PATCH] CI --- .github/workflows/users.yml | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/.github/workflows/users.yml b/.github/workflows/users.yml index 688324878..647f3d91b 100644 --- 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