w

LPCIC · Dec 15, 2024 · 89ee56b · 89ee56b
1 parent e4e1600
commit 89ee56b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -40,8 +40,9 @@ jobs:
         with:
           opam_file: 'coq-elpi.opam'
           custom_image: ${{ matrix.image }}
-          export: 'OPAMWITHTEST OPAMIGNORECONSTRAINTS'  # space-separated list of variables
+          export: 'OPAMWITHTEST OPAMIGNORECONSTRAINTS OPAMVERBOSE'  # space-separated list of variables
         env:
           OPAMWITHTEST: 'true'
           OPAMIGNORECONSTRAINTS: 'coq'
+          OPAMVERBOSE: '3'