From 9620825a600851d959d98ba1ea075a84f353179b Mon Sep 17 00:00:00 2001
From: Sam Cowger <sam@galois.com>
Date: Tue, 12 Nov 2024 11:41:26 -0800
Subject: [PATCH] CI: upload Cerberus runtime

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

diff --git a/.github/workflows/server-ci.yml b/.github/workflows/server-ci.yml
index 1bf6c7e..91945b6 100644
--- a/.github/workflows/server-ci.yml
+++ b/.github/workflows/server-ci.yml
@@ -75,3 +75,10 @@ jobs:
         with:
           name: cn-lsp-server-${{ matrix.os }}
           path: cn-lsp/server/_opam/bin/cn-lsp-server
+
+      - name: Upload Cerberus runtime
+        # if: ${{ github.event_name == 'push' && github.ref_name == 'main' }}
+        uses: actions/upload-artifact@v4
+        with:
+          name: cerberus-runtime
+          path: cn-lsp/server/_opam/lib/cerberus/runtime