use ssr 2.3 docker image

imdea-software · Dec 18, 2024 · 42f4e0e · 42f4e0e
1 parent e7f3929
commit 42f4e0e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -18,7 +18,7 @@ jobs:
       matrix:
         image:
           - 'mathcomp/mathcomp:2.2.0-coq-8.19'
-          - 'mathcomp/mathcomp:2.2.0-coq-8.20'
+          - 'mathcomp/mathcomp:2.3.0-coq-8.20'
           - 'mathcomp/mathcomp:latest-coq-dev'
       fail-fast: false
     steps:

diff --git a/meta.yml b/meta.yml
@@ -46,7 +46,7 @@ supported_coq_versions:
 tested_coq_opam_versions:
 - version: '2.2.0-coq-8.19'
   repo: 'mathcomp/mathcomp'
-- version: '2.2.0-coq-8.20'
+- version: '2.3.0-coq-8.20'
   repo: 'mathcomp/mathcomp'
 - version: 'latest-coq-dev'
   repo: 'mathcomp/mathcomp'