Publish to OpenVSX

(old extension had >50k downloads) Par of Github issue #318 #318 (comment) [Build] Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>
tlaplus · Sep 19, 2024 · 76d20bd · 76d20bd
1 parent 22c3497
commit 76d20bd
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -60,3 +60,7 @@ jobs:
     - name: Publish to Marketplace
       run: |
         vsce publish $(git log -1 --format=%cd --date="format:%Y.%-m.%-d%H%M") --pat "${{ secrets.VSCODE_MARKETPLACE_TLAPLUS_TOKEN }}"
+    - name: Publish to Open VSX
+      run: |
+        ls -lah
+        npx ovsx publish "vscode-tlaplus-$(git log -1 --format=%cd --date="format:%Y.%-m.%-d%H%M").vsix" -p "${{ secrets.OPEN_VSX_TOKEN_TLAPLUS }}"