Same player try again.

Matafou · Dec 17, 2023 · 1aa8bb5 · 1aa8bb5
1 parent ad47f7a
commit 1aa8bb5
Showing 1 changed file with 3 additions and 4 deletions.
diff --git 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'