CI: upload server binary

GaloisInc · Nov 11, 2024 · 6567e04 · 6567e04
1 parent e8bf959
commit 6567e04
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/.github/workflows/server-ci.yml b/.github/workflows/server-ci.yml
@@ -62,3 +62,18 @@ jobs:
         run: |
           eval $(opam env)
           dune test
+
+      - name: Install server
+        # if: ${{ github.event_name == 'push' && github.ref_name == 'main' }}
+        working-directory: ./cn-lsp/server
+        run: |
+          eval $(opam env)
+          dune install
+
+      - name: Upload server binary
+        # if: ${{ github.event_name == 'push' && github.ref_name == 'main' }}
+        working-directory: ./cn-lsp/server
+        uses: actions/upload-artifact@v4
+        with:
+          name: cn-lsp-server-${{ matrix.os }}
+          path: _build/install/default/bin/cn-lsp-server