fix(images.yml): coq-dev requires mathcomp-dev

href: coq/coq#17576 (comment)
math-comp · Nov 4, 2023 · b85d41a · b85d41a
1 parent 180b9f4
commit b85d41a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/images.yml b/images.yml
@@ -25,7 +25,7 @@ images:
   #       # - tag: 'latest-coq-{matrix[coq]}'
 
   - matrix:
-      coq: ['dev', '8.18', '8.17', '8.16']
+      coq: ['8.18', '8.17', '8.16']
       mathcomp: ['2.1.0']
     build:
       # keyword for docker-keeper's trigger (from docker-coq CI)
@@ -51,7 +51,7 @@ images:
         - tag: '{matrix[mathcomp]}-coq-{matrix[coq]}'
 
   - matrix:
-      coq: ['dev', '8.18', '8.17', '8.16']
+      coq: ['8.18', '8.17', '8.16']
       mathcomp: ['1.18.0']
     build:
       # keyword for docker-keeper's trigger (from docker-coq CI)