fix(coq-demo.yml): s/latest-coq-8.15/latest-coq-8.17/

coq-community · Jun 15, 2023 · 1c523ff · 1c523ff
1 parent 56a68e2
commit 1c523ff
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/coq-demo.yml b/.github/workflows/coq-demo.yml
@@ -58,7 +58,7 @@ jobs:
       matrix:
         image:
           - 'mathcomp/mathcomp-dev:coq-dev'
-          - 'mathcomp/mathcomp:latest-coq-8.15'
+          - 'mathcomp/mathcomp:latest-coq-8.17'
           # - 'mathcomp/mathcomp:latest-coq-dev'  # not always available,
           # see https://hub.docker.com/r/mathcomp/mathcomp#supported-tags
       fail-fast: false  # don't stop jobs if one fails