CI workflow

Author: hoheinzollern

.github/workflows/docker-action.yml

@@ -26,7 +26,7 @@ jobs:
       - uses: actions/checkout@v4
       - uses: coq-community/docker-coq-action@v1
         with:
-          opam_file: 'coq-mathcomp-finmap.opam'
+          opam_file: 'rocq-mathcomp-finmap.opam'
           custom_image: ${{ matrix.image }}