From 2f78cc174bbf6e66515f7bac1734645e23aaabdd Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Thu, 20 Jun 2024 00:10:41 +0200 Subject: [PATCH] fix: Add optional-but-useful version string during opam path pinning otherwise we get -> installed coq-bignums.8.20.dev --- .github/workflows/docker-action.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml index a699396..efa22fb 100644 --- a/.github/workflows/docker-action.yml +++ b/.github/workflows/docker-action.yml @@ -38,7 +38,7 @@ jobs: opam repository add --all-switches --set-default coq-extra-dev https://coq.inria.fr/opam/extra-dev # docker-coq opam repository add --all-switches --set-default coq-core-dev https://coq.inria.fr/opam/core-dev # docker-coq opam pin add -n -y -k version coq ${{ matrix.coq_version }} # docker-coq - opam pin add -n -y -k path $PACKAGE $WORKDIR + opam pin add -n -y -k path $PACKAGE.dev $WORKDIR opam update -y opam install --confirm-level=unsafe-yes -j 2 $PACKAGE --deps-only endGroup