Fix CI?.

Matafou · Matafou · commit e1f8bc503e76 · 2025-10-05T18:19:05.000+02:00
diff --git a/.github/workflows/ci-libhyps.yml b/.github/workflows/ci-libhyps.yml
@@ -51,6 +51,10 @@ jobs:
           opam_file: 'rocq-libhyps.opam'
           custom_image: ${{ matrix.image }}
           export: 'OPAMWITHTEST'  # space-separated list of variables
+      - script: |
+          startGroup "Test"
+            make test
+          endGroup
     env:
       OPAMWITHTEST: 'true'
 
