From 2124040305edb2bb4d915630f51e022dc999c3e1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maxime=20D=C3=A9n=C3=A8s?= Date: Tue, 8 Aug 2023 15:01:14 +0200 Subject: [PATCH] wip --- .github/workflows/cd-opam.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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