wip

coq · Aug 18, 2023 · 4a6a522 · 4a6a522
1 parent 3615df2
commit 4a6a522
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/.github/workflows/cd.yml b/.github/workflows/cd.yml
@@ -60,11 +60,12 @@ jobs:
 
     #VERSION_SLUG="${GITHUB_REF_NAME_SLUG#v}"
     #VERSION="${GITHUB_REF_NAME#v}"
+    #opam publish --no-browser --repo=coq/opam-coq-archive --packages-directory=extra-dev/packages -v $VERSION https://github.com/coq-community/vscoq/releases/download/$GITHUB_REF_NAME/vscoq-language-server-$VERSION.tar.gz vscoq-language-server.opam
     - name: Publish
       run: |
         eval $(opam env)
         echo $GITHUB_REF_NAME_SLUG
         VERSION_SLUG=1.9.1-coq8.18
         VERSION=1.9.1+coq8.18
         cd language-server
-        opam publish --no-browser --repo=coq/opam-coq-archive --packages-directory=extra-dev/packages -v $VERSION https://github.com/coq-community/vscoq/releases/download/$GITHUB_REF_NAME/vscoq-language-server-$VERSION.tar.gz vscoq-language-server.opam
+        opam publish --no-browser --repo=coq/opam-coq-archive --packages-directory=extra-dev/packages -v $VERSION https://github.com/coq-community/vscoq/releases/download/v$VERSION/vscoq-language-server-$VERSION_SLUG.tar.gz vscoq-language-server.opam
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -171,7 +171,7 @@ jobs:
       - name: Create language-server archive
         run: |
           cd language-server
-          VERSION="${GITHUB_REF_SLUG#v}"
+          VERSION="${GITHUB_REF_NAME_SLUG#v}"
           git archive -o ../vscoq-language-server-$VERSION.tar.gz --prefix=vscoq-language-server-$VERSION/ $GITHUB_SHA .
 
       - name: Release