wip

coq · Aug 8, 2023 · 2124040 · 2124040
1 parent 93d5b6f
commit 2124040
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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
+        opam publish --no-browser --repo=coq/opam-coq-archive --packages-directory=extra-dev/packages --tag=v1.9.0+coq8.18 coq-community/vscoq