From 7fb0f10d286b2095d722b12eb5f8b553a423a317 Mon Sep 17 00:00:00 2001 From: Pierre Roux Date: Wed, 17 May 2023 14:38:45 +0200 Subject: [PATCH 1/2] Update OPAM file --- coq-coqeal.opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/coq-coqeal.opam b/coq-coqeal.opam index 1162db6..153081f 100644 --- a/coq-coqeal.opam +++ b/coq-coqeal.opam @@ -24,7 +24,7 @@ depends: [ "coq" {(>= "8.15" & < "8.18~") | (= "dev")} "coq-bignums" "coq-paramcoq" {>= "1.1.3"} - "coq-mathcomp-multinomials" {((>= "1.5.7" & < "1.7~") | = "dev")} + "coq-mathcomp-multinomials" {((>= "1.6.0" & < "1.7~") | = "dev")} "coq-mathcomp-algebra" {((>= "1.13.0" & < "1.17~") | = "dev")} "coq-mathcomp-real-closed" {(>= "1.1.2" & < "1.2~") | (= "dev")} ] From 3ce6a916d209fc951c2767dd1aa874638ea5d130 Mon Sep 17 00:00:00 2001 From: Pierre Roux Date: Wed, 17 May 2023 14:39:12 +0200 Subject: [PATCH 2/2] [CI] Add MathComp 1.17.0 --- .github/workflows/docker-action.yml | 5 +++-- coq-coqeal.opam | 2 +- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml index 2bd6650..e13e79d 100644 --- a/.github/workflows/docker-action.yml +++ b/.github/workflows/docker-action.yml @@ -17,13 +17,14 @@ jobs: strategy: matrix: image: + - 'mathcomp/mathcomp:1.17.0-coq-8.17' + - 'mathcomp/mathcomp:1.17.0-coq-8.16' + - 'mathcomp/mathcomp:1.17.0-coq-8.15' - 'mathcomp/mathcomp:1.16.0-coq-8.17' - 'mathcomp/mathcomp:1.16.0-coq-8.16' - 'mathcomp/mathcomp:1.16.0-coq-8.15' - 'mathcomp/mathcomp:1.15.0-coq-8.16' - 'mathcomp/mathcomp:1.15.0-coq-8.15' - - 'mathcomp/mathcomp:1.14.0-coq-8.15' - - 'mathcomp/mathcomp:1.13.0-coq-8.15' - 'mathcomp/mathcomp-dev:coq-dev' - 'mathcomp/mathcomp-dev:coq-8.17' fail-fast: false diff --git a/coq-coqeal.opam b/coq-coqeal.opam index 153081f..3f54f9d 100644 --- a/coq-coqeal.opam +++ b/coq-coqeal.opam @@ -25,7 +25,7 @@ depends: [ "coq-bignums" "coq-paramcoq" {>= "1.1.3"} "coq-mathcomp-multinomials" {((>= "1.6.0" & < "1.7~") | = "dev")} - "coq-mathcomp-algebra" {((>= "1.13.0" & < "1.17~") | = "dev")} + "coq-mathcomp-algebra" {((>= "1.15.0" & < "1.18~") | = "dev")} "coq-mathcomp-real-closed" {(>= "1.1.2" & < "1.2~") | (= "dev")} ]