Fix CI

Author: SkySkimmer

.github/workflows/docker-action.yml

@@ -14,7 +14,7 @@ jobs:
     strategy:
       matrix:
         image:
-          - 'coqorg/coq:dev-ocaml-4.12-flambda'
+          - 'rocq/rocq-prover:dev-ocaml-4.12-flambda'
       fail-fast: false
     steps:
       - uses: actions/checkout@v3