[CI] Update Docker CI

math-comp · Feb 21, 2025 · bc6b150 · bc6b150
1 parent ebe8b2f
commit bc6b150
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -24,7 +24,7 @@ jobs:
           - 'mathcomp/mathcomp:2.3.0-coq-8.20'
           - 'mathcomp/mathcomp:2.3.0-coq-8.20'
           - 'mathcomp/mathcomp-dev:coq-8.20'
-          - 'mathcomp/mathcomp-dev:coq-dev'
+          - 'mathcomp/mathcomp-dev:rocq-prover-dev'
       fail-fast: false
     steps:
       - uses: actions/checkout@v4