From b5f732abf338178fcea30418968daf73efd59bea Mon Sep 17 00:00:00 2001
From: Sam Cowger <sam@galois.com>
Date: Mon, 11 Nov 2024 12:20:24 -0800
Subject: [PATCH] ci: upload server binary

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

diff --git a/.github/workflows/server-ci.yml b/.github/workflows/server-ci.yml
index 0880b85..9d49ce4 100644
--- a/.github/workflows/server-ci.yml
+++ b/.github/workflows/server-ci.yml
@@ -64,3 +64,15 @@ jobs:
       - name: Run server tests
         working-directory: cn-lsp/server
         run: eval $(opam env) && dune test
+
+      - name: Install server
+        # if: ${{ github.event_name == 'push' && github.ref_name == 'main' }}
+        working-directory: cn-lsp/server
+        run: opam install . -y
+
+      - name: Upload server binary
+        # if: ${{ github.event_name == 'push' && github.ref_name == 'main' }}
+        uses: actions/upload-artifact@v4
+        with:
+          name: cn-lsp-server-${{ matrix.os }}
+          path: cn-lsp/server/_opam/bin/cn-lsp-server