Merge pull request #619 from coq-community/prepare-release

Modified CI and CD for release
coq · Sep 14, 2023 · 110dec5 · 110dec5
2 parents ebcdfb1 + 9b2fd4a
commit 110dec5
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/cd.yml b/.github/workflows/cd.yml
@@ -25,7 +25,7 @@ jobs:
         pat: ${{ secrets.OVSX_PAT }}
         packagePath: ./client/
         yarn: true
-        preRelease: true
+        preRelease: false
     - name: Publish to Visual Studio Marketplace
       uses: HaaLeo/publish-vscode-extension@v1
       with:
@@ -34,7 +34,7 @@ jobs:
         registryUrl: https://marketplace.visualstudio.com
         extensionFile: ${{ steps.publishToOpenVSX.outputs.vsixPath }}
         yarn: true
-        preRelease: true
+        preRelease: false
 
   publish-opam-package:
     strategy:
@@ -76,4 +76,4 @@ jobs:
         cd language-server
         git config --global user.name vscoqbot
         git config --global user.email vscoqbot@inria.fr
-        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_SLUG.tar.gz vscoq-language-server.opam
+        opam publish --no-browser -v $VERSION https://github.com/coq-community/vscoq/releases/download/$GITHUB_REF_NAME/vscoq-language-server-$VERSION_SLUG.tar.gz vscoq-language-server.opam
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -181,5 +181,5 @@ jobs:
           files: vscoq-language-server-*.tar.gz
           fail_on_unmatched_files: true
           draft: true
-          prerelease: true
+          prerelease: false
           generate_release_notes: true