Merge pull request #660 from LPCIC/release-only-coq-elpi.opam

Update main.yml
LPCIC · Jul 14, 2024 · b9e9ae8 · b9e9ae8
2 parents 68e32cb + 52dd443
commit b9e9ae8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -104,4 +104,4 @@ jobs:
           git config --global user.name coqelpibot
           git config --global user.email [email protected]
           TAG=`git tag --sort=-v:refname|head -1`
-          opam-publish --tag=$TAG --packages-directory=${OPAM_SUITE:-released}/packages --repo=coq/opam --no-browser -v ${TAG##v}	https://github.com/LPCIC/coq-elpi/releases/download/$TAG/coq-elpi-${TAG##v}.tar.gz
+          opam-publish --tag=$TAG --packages-directory=${OPAM_SUITE:-released}/packages --repo=coq/opam --no-browser -v ${TAG##v}	coq-elpi.opam https://github.com/LPCIC/coq-elpi/releases/download/$TAG/coq-elpi-${TAG##v}.tar.gz