From 5ad159a4748afc14d3b6969d4b5499e2c450f2f6 Mon Sep 17 00:00:00 2001
From: Kazuhiko Sakaguchi <pi8027@gmail.com>
Date: Thu, 5 Dec 2024 14:13:29 +0100
Subject: [PATCH] Update CI

---
 .github/workflows/ci.yml       | 7 +++++++
 coq-mathcomp-multinomials.opam | 4 ++--
 2 files changed, 9 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index bf4101a..9150fe8 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -18,8 +18,15 @@ jobs:
           - mathcomp/mathcomp:2.2.0-coq-8.17
           - mathcomp/mathcomp:2.2.0-coq-8.18
           - mathcomp/mathcomp:2.2.0-coq-8.19
+          - mathcomp/mathcomp:2.2.0-coq-8.20
+          - mathcomp/mathcomp:2.2.0-coq-dev
+          - mathcomp/mathcomp:2.3.0-coq-8.18
+          - mathcomp/mathcomp:2.3.0-coq-8.19
+          - mathcomp/mathcomp:2.3.0-coq-8.20
+          - mathcomp/mathcomp:2.3.0-coq-dev
           - mathcomp/mathcomp-dev:coq-8.18
           - mathcomp/mathcomp-dev:coq-8.19
+          - mathcomp/mathcomp-dev:coq-8.20
           - mathcomp/mathcomp-dev:coq-dev
       fail-fast: false
     steps:
diff --git a/coq-mathcomp-multinomials.opam b/coq-mathcomp-multinomials.opam
index 6811722..0d6251a 100644
--- a/coq-mathcomp-multinomials.opam
+++ b/coq-mathcomp-multinomials.opam
@@ -8,8 +8,8 @@ authors: ["Pierre-Yves Strub"]
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq"                    {(>= "8.16" & < "8.20~") | = "dev"}
-  "coq-mathcomp-ssreflect" {(>= "2.0" & < "2.3~") | = "dev"}
+  "coq"                    {(>= "8.16" & < "8.21~") | = "dev"}
+  "coq-mathcomp-ssreflect" {(>= "2.0" & < "2.4~") | = "dev"}
   "coq-mathcomp-algebra"
   "coq-mathcomp-bigenough" {(>= "1.0" & < "1.1~") | = "dev"}
   "coq-mathcomp-finmap"    {(>= "2.0" & < "2.2~") | = "dev"}