From e87be8ee86dda62c19c77dcfa2ce5de37fd86a6b Mon Sep 17 00:00:00 2001
From: Romain Tetley <romain.tetley@inria.fr>
Date: Tue, 13 Feb 2024 10:44:18 +0100
Subject: [PATCH 1/2] Add a publish extension dry run to workflow, update
 publish extension action verison.

---
 .github/workflows/ci.yml | 34 ++++++++++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 2be766065..f9967932a 100644
--- a/.github/workflows/ci.yml
+++ b/.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/publish-vscode-extension@v1.6.1
+      id: publishToOpenVSX
+      with:
+        pat: 'stub'
+        packagePath: ./client/
+        yarn: true
+        preRelease: false
+        dryRun: true
+    - name: Publish to Visual Studio Marketplace
+      uses: HaaLeo/publish-vscode-extension@v1.6.1
+      with:
+        pat: 'stub'
+        packagePath: ./client/
+        registryUrl: https://marketplace.visualstudio.com
+        extensionFile: ${{ steps.publishToOpenVSX.outputs.vsixPath }}
+        yarn: true
+        preRelease: false
+        dryRun: true

From d5abbe2cf5a94292b7de2aa5284113831540dae4 Mon Sep 17 00:00:00 2001
From: Romain Tetley <romain.tetley@inria.fr>
Date: Tue, 13 Feb 2024 15:03:08 +0100
Subject: [PATCH 2/2] Update github action

---
 .github/workflows/ci.yml                | 4 ++--
 .github/workflows/publish-extension.yml | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index f9967932a..76f91e989 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -204,7 +204,7 @@ jobs:
         cd client
         cp ../LICENSE . && cp ../README.md .
     - name: Publish to Open VSX Registry
-      uses: HaaLeo/publish-vscode-extension@v1.6.1
+      uses: HaaLeo/publish-vscode-extension@v1.6.2
       id: publishToOpenVSX
       with:
         pat: 'stub'
@@ -213,7 +213,7 @@ jobs:
         preRelease: false
         dryRun: true
     - name: Publish to Visual Studio Marketplace
-      uses: HaaLeo/publish-vscode-extension@v1.6.1
+      uses: HaaLeo/publish-vscode-extension@v1.6.2
       with:
         pat: 'stub'
         packagePath: ./client/
diff --git a/.github/workflows/publish-extension.yml b/.github/workflows/publish-extension.yml
index 55e4dcb92..6c29b1339 100644
--- a/.github/workflows/publish-extension.yml
+++ b/.github/workflows/publish-extension.yml
@@ -20,7 +20,7 @@ jobs:
           cd client
           cp ../LICENSE . && cp ../README.md .
       - name: Publish to Open VSX Registry
-        uses: HaaLeo/publish-vscode-extension@v1.6.1
+        uses: HaaLeo/publish-vscode-extension@v1.6.2
         id: publishToOpenVSX
         with:
           pat: ${{ secrets.OVSX_PAT }}
@@ -28,7 +28,7 @@ jobs:
           yarn: true
           preRelease: false
       - name: Publish to Visual Studio Marketplace
-        uses: HaaLeo/publish-vscode-extension@v1.6.1
+        uses: HaaLeo/publish-vscode-extension@v1.6.2
         with:
           pat: ${{ secrets.VSCE_PAT }}
           packagePath: ./client/