diff --git a/.github/workflows/coq-opam-package.yml b/.github/workflows/coq-opam-package.yml
index ce05b233fb..0facb1a98c 100644
--- 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: |