Merge pull request #43 from FStarLang/releaselsp

Release the LSP server.

.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 }}