diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 90b46f90d0d070ff0c6372c0a04a12187ed695eb..17bd78358e65bbf4f67da7158cb2e8f516ac8218 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -26,7 +26,7 @@ stages:
     - opam install -y -v -j ${NJOBS} coq-prosa
 
 .preferred-stable-version:
-    image: mathcomp/mathcomp:1.12.0-coq-8.14
+    image: mathcomp/mathcomp:1.13.0-coq-8.14
 
 .build:
   image: mathcomp/mathcomp:${CI_JOB_NAME}
@@ -38,14 +38,14 @@ stages:
 
 .compile:
   stage: build
-  image: mathcomp/mathcomp:1.12.0-coq-8.14
+  image: mathcomp/mathcomp:1.13.0-coq-8.14
   script:
     - ./create_makefile.sh --without-classic
     - make -j ${NJOBS}
 
 .compile-classic:
   stage: build
-  image: mathcomp/mathcomp:1.12.0-coq-8.14
+  image: mathcomp/mathcomp:1.13.0-coq-8.14
   script:
     - ./create_makefile.sh --only-classic
     - make -j ${NJOBS}
@@ -103,6 +103,16 @@ stages:
     - .build
     - .not_in_wip_branches
 
+1.13.0-coq-8.13:
+  extends:
+    - .build
+    - .not_in_wip_branches
+
+1.13.0-coq-8.14:
+  extends:
+    - .build
+    - .not_in_wip_branches
+
 compile:
   extends:
     - .compile
diff --git a/coq-prosa.opam b/coq-prosa.opam
index 9295e623d93e95c97704ff86db978e4fd4d3aaa7..8ee946664e291d611298c13b4ab09c3e8eed7644 100644
--- a/coq-prosa.opam
+++ b/coq-prosa.opam
@@ -14,7 +14,7 @@ build: [
 install: [make "install"]
 depends: [
   "coq" {((>= "8.13" & < "8.15~") | = "dev")}
-  "coq-mathcomp-ssreflect" {((>= "1.12" & < "1.13~") | = "dev")}
+  "coq-mathcomp-ssreflect" {((>= "1.12" & < "1.14~") | = "dev")}
 ]
 
 tags: [