Merge pull request #575 from coq-community/ovsx-deploy

Automate publication on open-vsx.org

.github/workflows/cd.yml

@@ -6,21 +6,33 @@ on:
 jobs:
   publish-extension:
     runs-on: ubuntu-latest
+    if: success() && startsWith(github.ref, 'refs/tags/')
     steps:
     - name: Checkout
       uses: actions/checkout@v3
     - name: Install Node.js
       uses: actions/setup-node@v3
       with:
         node-version: 16.x
-    - name: Publish
-      if: success() && startsWith(github.ref, 'refs/tags/')
+    - name: Publish on VsCode marketplace
       run: |
         cd client
-        yarn run package
-        yarn deploy
-      env:
-        VSCE_PAT: ${{ secrets.VSCE_PAT }}
+        cp ../LICENSE . && cp ../README.md .
+    - name: Publish to Open VSX Registry
+      uses: HaaLeo/publish-vscode-extension@v1
+      id: publishToOpenVSX
+      with:
+        pat: ${{ secrets.OVSX_PAT }}
+        yarn: true
+        preRelease: true
+    - name: Publish to Visual Studio Marketplace
+      uses: HaaLeo/publish-vscode-extension@v1
+      with:
+        pat: ${{ secrets.VSCE_PAT }}
+        registryUrl: https://marketplace.visualstudio.com
+        extensionFile: ${{ steps.publishToOpenVSX.outputs.vsixPath }}
+        yarn: true
+        preRelease: true
 
   publish-opam-package:
     strategy:

client/package.json

@@ -650,7 +650,6 @@
     "build:search-ui": "cd search-ui && yarn run build",
     "build:dev:search-ui": "cd search-ui && yarn run build:dev",
     "vscode:prepublish": "yarn run package",
-    "deploy": "cp ../LICENSE . && cp ../README.md . && vsce publish --pre-release --yarn",
     "compile": "webpack",
     "watch": "webpack --watch",
     "package": "yarn run install:all && yarn run build:all && webpack --mode production --devtool hidden-source-map",