wip

coq · Aug 8, 2023 · e4b2212 · e4b2212
1 parent 3c07c9a
commit e4b2212
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 language-server
+        opam publish --no-browser --repo=coq/opam-coq-archive --packages-directory=extra-dev/packages -v 1.9.0+coq8.18 language-server/vscoq-language-server.opam