From c351bdaf23bec59a3535701793829f5fb40f95dc Mon Sep 17 00:00:00 2001 From: Pierre Roux Date: Sat, 22 Jan 2022 13:17:40 +0100 Subject: [PATCH] [CI] Update --- .github/workflows/docker-action.yml | 2 +- coq-mathcomp-analysis.opam | 10 +++++----- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml index d916ff8c0..c0a2b455e 100644 --- a/.github/workflows/docker-action.yml +++ b/.github/workflows/docker-action.yml @@ -22,7 +22,7 @@ jobs: - 'mathcomp/mathcomp:1.13.0-coq-8.13' - 'mathcomp/mathcomp:1.13.0-coq-8.14' - 'mathcomp/mathcomp:1.13.0-coq-8.15' - - 'mathcomp/mathcomp:1.13.0-coq-dev' + - 'mathcomp/mathcomp:1.14.0-coq-dev' - 'mathcomp/mathcomp-dev:coq-8.13' - 'mathcomp/mathcomp-dev:coq-8.14' - 'mathcomp/mathcomp-dev:coq-dev' diff --git a/coq-mathcomp-analysis.opam b/coq-mathcomp-analysis.opam index 71c695e5b..5f56c46d6 100644 --- a/coq-mathcomp-analysis.opam +++ b/coq-mathcomp-analysis.opam @@ -19,11 +19,11 @@ build: [make "-j%{jobs}%"] install: [make "install"] depends: [ "coq" { (>= "8.13" & < "8.16~") | (= "dev") } - "coq-mathcomp-ssreflect" { (>= "1.12.0" & < "1.14~") | (= "dev") } - "coq-mathcomp-fingroup" { (>= "1.12.0" & < "1.14~") | (= "dev") } - "coq-mathcomp-algebra" { (>= "1.12.0" & < "1.14~") | (= "dev") } - "coq-mathcomp-solvable" { (>= "1.12.0" & < "1.14~") | (= "dev") } - "coq-mathcomp-field" { (>= "1.12.0" & < "1.14~") | (= "dev") } + "coq-mathcomp-ssreflect" { (>= "1.12.0" & < "1.15~") | (= "dev") } + "coq-mathcomp-fingroup" { (>= "1.12.0" & < "1.15~") | (= "dev") } + "coq-mathcomp-algebra" { (>= "1.12.0" & < "1.15~") | (= "dev") } + "coq-mathcomp-solvable" { (>= "1.12.0" & < "1.15~") | (= "dev") } + "coq-mathcomp-field" { (>= "1.12.0" & < "1.15~") | (= "dev") } "coq-mathcomp-finmap" { (>= "1.5.1" & < "1.6~") | (= "dev") } "coq-mathcomp-bigenough" { (>= "1.0.0") } "coq-hierarchy-builder" { (>= "0.10.0") }