Merge pull request #725 from coq-community/fix-ci

Fix ci

.github/workflows/ci.yml

@@ -188,3 +188,37 @@ jobs:
           draft: true
           prerelease: false
           generate_release_notes: true
+
+  publish-extension:
+    runs-on: ubuntu-latest
+    if: success()
+    steps:
+    - name: Checkout
+      uses: actions/checkout@v3
+    - name: Install Node.js
+      uses: actions/setup-node@v3
+      with:
+        node-version: 16.x
+    - name: Publish on VsCode marketplace
+      run: |
+        cd client
+        cp ../LICENSE . && cp ../README.md .
+    - name: Publish to Open VSX Registry
+      uses: HaaLeo/[email protected]
+      id: publishToOpenVSX
+      with:
+        pat: 'stub'
+        packagePath: ./client/
+        yarn: true
+        preRelease: false
+        dryRun: true
+    - name: Publish to Visual Studio Marketplace
+      uses: HaaLeo/[email protected]
+      with:
+        pat: 'stub'
+        packagePath: ./client/
+        registryUrl: https://marketplace.visualstudio.com
+        extensionFile: ${{ steps.publishToOpenVSX.outputs.vsixPath }}
+        yarn: true
+        preRelease: false
+        dryRun: true

.github/workflows/publish-extension.yml

@@ -20,15 +20,15 @@ jobs:
           cd client
           cp ../LICENSE . && cp ../README.md .
       - name: Publish to Open VSX Registry
-        uses: HaaLeo/[email protected].1
+        uses: HaaLeo/[email protected].2
         id: publishToOpenVSX
         with:
           pat: ${{ secrets.OVSX_PAT }}
           packagePath: ./client/
           yarn: true
           preRelease: false
       - name: Publish to Visual Studio Marketplace
-        uses: HaaLeo/[email protected].1
+        uses: HaaLeo/[email protected].2
         with:
           pat: ${{ secrets.VSCE_PAT }}
           packagePath: ./client/