From 1aa8bb578a71481bd473283a642e7e5518bcfd9a Mon Sep 17 00:00:00 2001
From: Pierre Courtieu <Pierre.Courtieu@cnam.fr>
Date: Sun, 17 Dec 2023 16:00:49 +0100
Subject: [PATCH] Same player try again.

---
 .github/workflows/ci-libhyps.yml | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/ci-libhyps.yml b/.github/workflows/ci-libhyps.yml
index 0fb0a57..9708011 100644
--- a/.github/workflows/ci-libhyps.yml
+++ b/.github/workflows/ci-libhyps.yml
@@ -56,7 +56,6 @@ jobs:
         with:
           opam_file: 'coq-libhyps.opam'
           custom_image: ${{ matrix.image }}
-        run: |
-          ./configure.sh 
-          make
-          make tests
+          export: 'OPAMWITHTEST'  # space-separated list of variables
+    env:
+      OPAMWITHTEST: 'true'