From a8fecd47200e88865a945a0dfa0f4c34e75de18e Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Mon, 3 Mar 2025 13:36:14 -0800 Subject: [PATCH] coq-opam-package.yml: --verbose opam install coq For debugging --- .github/workflows/coq-opam-package.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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: |