test new docker image

formal-land · May 21, 2024 · dc5ba0d · dc5ba0d
1 parent 90565ef
commit dc5ba0d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
@@ -19,7 +19,7 @@ jobs:
         run: git submodule update --init --recursive
       - uses: coq-community/docker-coq-action@v1
         with:
-          custom_image: coqorg/coq:8.17-ocaml-4.14-flambda
+          custom_image: coqorg/coq:8.19-ocaml-4.14-flambda
           custom_script: |
             startGroup "Install dependencies"
               opam install -y --deps-only CoqOfPython/coq-of-python.opam