Merge pull request #752 from erikmd/patch-1

fix(ci.yml): Use `coqorg/coq:8.20` as a future-proof image name

Author: gares

.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