docker

LPCIC · Dec 15, 2024 · 6019775 · 6019775
1 parent 4c31cdb
commit 6019775
Showing 1 changed file with 4 additions and 6 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -30,18 +30,16 @@ jobs:
     runs-on: ubuntu-latest  # container actions require GNU/Linux
     strategy:
       matrix:
-        coq_version:
-          - '8.20'
-          - dev
-        ocaml_version: ['default']
+        image:
+          - 'coqorg/coq:dev'
+          - 'coqorg/coq:8.20.0'
       fail-fast: false  # don't stop jobs if one fails
     steps:
       - uses: actions/checkout@v3
       - uses: coq-community/docker-coq-action@v1
         with:
           opam_file: 'coq-elpi.opam'
-          coq_version: ${{ matrix.coq_version }}
-          ocaml_version: ${{ matrix.ocaml_version }}
+          custom_image: ${{ matrix.image }}
           export: 'OPAMWITHTEST OPAMIGNORECONSTRAINTS.'  # space-separated list of variables
         env:
           OPAMWITHTEST: 'true'