More local CI image fix

tchajed · Jun 8, 2022 · ff46f55 · ff46f55
1 parent 35b3b7e
commit ff46f55
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/.github/workflows/coq-action.yml b/.github/workflows/coq-action.yml
@@ -17,8 +17,8 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        coq_version:
-          - 'dev'
+        coq_image:
+          - 'dev-ocaml-4.12-flambda'
           - '8.15'
           - '8.14'
           - '8.13'
@@ -31,8 +31,7 @@ jobs:
       - uses: coq-community/docker-coq-action@v1
         with:
           opam_file: 'coq-record-update.opam'
-          coq_version: ${{ matrix.coq_version }}
-          ocaml_version: '4.13-flambda'
+          custom_image: coqorg/coq:${{ matrix.coq_image }}
 
 # See also:
 # https://github.com/coq-community/docker-coq-action#readme