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