coq-opam-package.yml: --verbose opam install coq

For debugging
mit-plv · Mar 3, 2025 · a8fecd4 · a8fecd4
1 parent b3f2c59
commit a8fecd4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/coq-opam-package.yml b/.github/workflows/coq-opam-package.yml
@@ -122,7 +122,7 @@ jobs:
     - run: opam update
     - run: opam pin add ocamlfind '${{ matrix.os.ocamlfind-pin }}'
       if: matrix.os.ocamlfind-pin != ''
-    - run: opam pin --kind=version add coq ${{ matrix.coq-version }}
+    - run: opam pin --kind=version add coq ${{ matrix.coq-version }} --verbose 
 
     - name: echo more build params
       run: |