From 83c83b9f5a1028d784d63db11799cebd027c626a Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Tue, 13 Feb 2024 14:32:22 +0100
Subject: [PATCH] [CI] Remove coq-bignums before CI

Otherwise the test are run with the bignums already in the Docker
image rather than the one just built by the CI.
---
 .github/workflows/docker-action.yml | 23 ++++++++++++++++++++---
 1 file changed, 20 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
index 0216ceb..0e8d9c4 100644
--- a/.github/workflows/docker-action.yml
+++ b/.github/workflows/docker-action.yml
@@ -1,3 +1,5 @@
+# Beware not to destroy this file when regenerating it from meta.yml
+
 name: Docker CI
 
 on:
@@ -25,9 +27,24 @@ jobs:
         with:
           opam_file: 'coq-bignums.opam'
           custom_image: ${{ matrix.image }}
-          export: 'OPAMWITHTEST'
-        env:
-          OPAMWITHTEST: 'true'
+          custom_script: |
+            startGroup Print opam config
+              opam config list; opam repo list; opam list
+              echo NJOBS=${NJOBS}
+            endGroup
+            startGroup Build coq-bignums
+              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}
+              opam list
+            endGroup
+            startGroup Test coq-bignums
+              git clean -dxf .
+              make -j ${NJOBS} -C tests
+            endGroup
+            startGroup Uninstallation test
+              opam remove -y coq-bignums
+            endGroup
 
 # See also:
 # https://github.com/coq-community/docker-coq-action#readme