From 09cb529576636154ac99386a8646de4f2fa16a22 Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Mon, 13 May 2024 11:41:04 -0700
Subject: [PATCH] Release the LSP server.

---
 .github/workflows/ci.yml | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 8f6eab8..e3bfe40 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -33,17 +33,24 @@ jobs:
       - name: Package
         run: npx vsce package
 
+      - name: Package LSP server
+        run: cp server/out/main.js "fstar-language-server-$(jq -r .version package.json).js"
+
       - name: Upload artifact
         uses: actions/upload-artifact@v4
         with:
-          path: '*.vsix'
+          path: |
+            *.vsix
+            fstar-language-server-*.js
           if-no-files-found: error
 
       - name: Upload extension to github release
         if: startsWith(github.ref, 'refs/tags/v')
         uses: softprops/action-gh-release@v1
         with:
-          files: '*.vsix'
+          files: |
+            *.vsix
+            fstar-language-server-*.js
           fail_on_unmatched_files: true
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}