wip

Author: fblanqui

.github/workflows/docker-action.yml

@@ -12,27 +12,15 @@ on:
 
 jobs:
 
-  coq:
+  make:
     runs-on: ubuntu-latest
     strategy:
       fail-fast: false
       matrix:
-        coq_version: ['8.20', 8.19, 8.18, 8.17, 8.16]
+        coq_version: [dev, '9.0', '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'
           coq_version: ${{ matrix.coq_version }}
-
-  rocq:
-    runs-on: ubuntu-latest
-    strategy:
-      fail-fast: false
-      matrix:
-        rocq_version: [dev, '9.0']
-    container:
-      image: rocq/rocq-prover:${{ matrix.rocq_version }}
-    steps:
-      - uses: actions/checkout@v4
-      - run: opam install -y .