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'