From 29e9de3e13086609c65872b5ca8feb6c039a92ed Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Date: Fri, 16 Feb 2024 14:53:55 +0100
Subject: [PATCH] Update .github/workflows/docker-action.yml

---
 .github/workflows/docker-action.yml | 26 +++++++++-----------------
 1 file changed, 9 insertions(+), 17 deletions(-)

diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
index e36ba93..77d77c3 100644
--- a/.github/workflows/docker-action.yml
+++ b/.github/workflows/docker-action.yml
@@ -27,25 +27,17 @@ jobs:
         with:
           opam_file: 'coq-bignums.opam'
           custom_image: ${{ matrix.image }}
-          custom_script: |
-            startGroup Print opam config
-              opam config list; opam repo list; opam list
-              echo NJOBS=${NJOBS}
-            endGroup
-            startGroup Build coq-bignums
+          install: |
+            startGroup "Install dependencies"
+              # sudo apt-get update -y -q
               opam remove -y coq-bignums # remove coq-bignums already in image
-              opam pin add -n -y -k path coq-bignums .
-              opam install -y -v -j ${NJOBS} coq-bignums
-              opam list
-            endGroup
-            startGroup Test coq-bignums
-              git config --global --add safe.directory /github/workspace  # to avoid git clean below complaining
-              git clean -dxf .
-              make -j ${NJOBS} -C tests
-            endGroup
-            startGroup Uninstallation test
-              opam remove -y coq-bignums
+              opam pin add -n -y -k path $PACKAGE $WORKDIR
+              opam update -y
+              opam install --confirm-level=unsafe-yes -j 2 $PACKAGE --deps-only
             endGroup
+          export: 'OPAMWITHTEST'
+          env:
+            OPAMWITHTEST: 'true'
 
 # See also:
 # https://github.com/coq-community/docker-coq-action#readme