diff --git a/.github/workflows/coq-action.yml b/.github/workflows/coq-action.yml
index 6cbcb98..43d8e67 100644
--- a/.github/workflows/coq-action.yml
+++ b/.github/workflows/coq-action.yml
@@ -15,8 +15,6 @@ jobs:
     strategy:
       matrix:
         image:
-          - mathcomp/mathcomp:1.12.0-coq-8.11
-          - mathcomp/mathcomp:1.12.0-coq-8.12
           - mathcomp/mathcomp:1.12.0-coq-8.13
       fail-fast: false
     steps: