wip

Author: fblanqui

.github/workflows/docker-action.yml

@@ -17,13 +17,12 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        coq_version: ['8.20.1', '8.19.2', '8.18.0', '8.17.1', '8.16.1', '8.15.2', '8.14.1']
+        coq_version: ['8.20', 8.19, 8.18, 8.17, 8.16]
     steps:
       - uses: actions/checkout@v4
       - uses: coq-community/docker-coq-action@v1
         with:
           opam_file: 'coq-color.opam'
-          ocaml_version: '4.14.2' # https://hub.docker.com/r/coqorg/coq
           coq_version: ${{ matrix.coq_version }}
 
   rocq: