diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 9ec6eef..41646ab 100644
--- 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 }}"