From 70ceea30077ef645c8aef83b93793a5f433be45e Mon Sep 17 00:00:00 2001
From: Kazuhiko Sakaguchi <pi8027@gmail.com>
Date: Fri, 21 Nov 2025 13:23:45 +0100
Subject: [PATCH] Remove the rocq-prover-dev images

MC 2.4 and 2.5 are not compatible with rocq-prover.dev anymore
---
 images.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/images.yml b/images.yml
index 465f098..244bdd9 100644
--- a/images.yml
+++ b/images.yml
@@ -38,7 +38,7 @@ images:
   #       #   if: '{matrix[coq][.*]} == 8'
 
   - matrix:
-      coq: ['dev', '9.1', '9.0', '8.20']
+      coq: ['9.1', '9.0', '8.20']
       mathcomp: ['2.5.0']
     build:
       # keyword for docker-keeper's trigger (from docker-rocq CI)
@@ -60,7 +60,7 @@ images:
           if: '{matrix[coq][%.*]} == 8'
 
   - matrix:
-      coq: ['dev', '9.1', '9.0', '8.20', '8.19']
+      coq: ['9.1', '9.0', '8.20', '8.19']
       mathcomp: ['2.4.0']
     build:
       # keyword for docker-keeper's trigger (from docker-rocq CI)