diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
index 25f0d23..afb3515 100644
--- a/.github/workflows/docker-action.yml
+++ b/.github/workflows/docker-action.yml
@@ -22,9 +22,14 @@ jobs:
           - 'mathcomp/mathcomp:2.4.0-rocq-prover-9.1'
           - 'mathcomp/mathcomp:2.5.0-rocq-prover-9.0'
           - 'mathcomp/mathcomp:2.5.0-rocq-prover-9.1'
+          - 'mathcomp/mathcomp:2.6.0-rocq-prover-9.0'
+          - 'mathcomp/mathcomp:2.6.0-rocq-prover-9.1'
+          - 'mathcomp/mathcomp:2.6.0-rocq-prover-9.2'
+          - 'mathcomp/mathcomp:2.6.0-rocq-prover-9.3'
           - 'mathcomp/mathcomp-dev:rocq-prover-9.0'
           - 'mathcomp/mathcomp-dev:rocq-prover-9.1'
           - 'mathcomp/mathcomp-dev:rocq-prover-9.2'
+          - 'mathcomp/mathcomp-dev:rocq-prover-9.3'
           - 'mathcomp/mathcomp-dev:rocq-prover-dev'
       fail-fast: false
     steps:
diff --git a/meta.yml b/meta.yml
index e5b00f6..2d16788 100644
--- a/meta.yml
+++ b/meta.yml
@@ -39,12 +39,22 @@ tested_coq_opam_versions:
   repo: 'mathcomp/mathcomp'
 - version: '2.5.0-rocq-prover-9.1'
   repo: 'mathcomp/mathcomp'
+- version: '2.6.0-rocq-prover-9.0'
+  repo: 'mathcomp/mathcomp'
+- version: '2.6.0-rocq-prover-9.1'
+  repo: 'mathcomp/mathcomp'
+- version: '2.6.0-rocq-prover-9.2'
+  repo: 'mathcomp/mathcomp'
+- version: '2.6.0-rocq-prover-9.3'
+  repo: 'mathcomp/mathcomp'
 - version: 'rocq-prover-9.0'
   repo: 'mathcomp/mathcomp-dev'
 - version: 'rocq-prover-9.1'
   repo: 'mathcomp/mathcomp-dev'
 - version: 'rocq-prover-9.2'
   repo: 'mathcomp/mathcomp-dev'
+- version: 'rocq-prover-9.3'
+  repo: 'mathcomp/mathcomp-dev'
 - version: 'rocq-prover-dev'
   repo: 'mathcomp/mathcomp-dev'