diff --git a/.github/workflows/cd-opam.yml b/.github/workflows/cd-opam.yml index 1723cf88..4ce72fd7 100644 --- a/.github/workflows/cd-opam.yml +++ b/.github/workflows/cd-opam.yml @@ -27,4 +27,4 @@ jobs: run: | eval $(opam env) opam publish --help - opam publish --no-browser \ No newline at end of file + opam publish --no-browser -- repo=coq/opam-coq-archive --packages-directory=extra-dev/packages --tag=v1.9.0+coq8.18 coq-community/vscoq \ No newline at end of file