From 73986c34663605d6eaf0e44ceec2452cef2aaebd Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Date: Thu, 23 Jan 2025 13:28:52 +0100
Subject: [PATCH] fix(ci.yml): Use `coqorg/coq:8.20` as a future-proof image
 name

Given 8.20.0 has been replaced with 8.20.1
while both images share the 8.20 tag shorthand.
---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 4cfeecf3a..f470997fb 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -18,7 +18,7 @@ jobs:
       matrix:
         image:
           - 'coqorg/coq:dev'
-          - 'coqorg/coq:8.20.0'
+          - 'coqorg/coq:8.20'
       fail-fast: false  # don't stop jobs if one fails
     steps:
       - uses: actions/checkout@v3