Merge pull request #769 from LPCIC/fix-focker-ci

fix docker ci
LPCIC · Feb 6, 2025 · 84ca172 · 84ca172
2 parents c0fae44 + 827ec0e
commit 84ca172
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -17,7 +17,8 @@ jobs:
     strategy:
       matrix:
         image:
-          - 'coqorg/coq:dev'
+          - 'rocq/rocq-prover:dev'
+          - 'rocq/rocq-prover:9.0'
           - 'coqorg/coq:8.20'
       fail-fast: false  # don't stop jobs if one fails
     steps: