diff --git a/.github/workflows/cd-opam.yml b/.github/workflows/cd-opam.yml index e3bda03b..620afb9e 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 -- 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 + 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