fix: Add optional-but-useful version string during opam path pinning

otherwise we get -> installed coq-bignums.8.20.dev
coq-community · Jun 19, 2024 · 2f78cc1 · 2f78cc1
1 parent 8d2c505
commit 2f78cc1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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