fix docker-action

.github/workflows/docker-action.yml

@@ -1,5 +1,3 @@
-# This file was generated from `meta.yml`, please do not edit manually.
-# Follow the instructions on https://github.com/coq-community/templates to regenerate.
 name: Docker CI
 
 on:
@@ -23,9 +21,31 @@ jobs:
       - uses: actions/checkout@v3
       - uses: coq-community/docker-coq-action@v1
         with:
-          opam_file: 'coq-stalmarck.opam'
           custom_image: ${{ matrix.image }}
-
+          custom_script: |
+            {{before_install}}
+            startGroup "Build stalmarck dependencies"
+              opam pin add -n -y -k path coq-stalmarck .
+              opam update -y
+              opam install -y -j 2 coq-stalmarck --deps-only
+            endGroup
+            startGroup "Build stalmarck"
+              opam install -y -v -j 2 coq-stalmarck
+              opam list
+            endGroup
+            startGroup "Build stalmarck-tactic dependencies"
+              opam pin add -n -y -k path coq-stalmarck-tactic .
+              opam update -y
+              opam install -y -j 2 coq-stalmarck-tactic --deps-only
+            endGroup
+            startGroup "Build stalmarck-tactic"
+              opam install -y -v -j 2 coq-stalmarck-tactic
+              opam list
+            endGroup
+            startGroup "Uninstallation test"
+              opam remove -y coq-stalmarck-tactic
+              opam remove -y coq-stalmarck
+            endGroup
 
 # See also:
 # https://github.com/coq-community/docker-coq-action#readme