CI: upload Cerberus runtime

GaloisInc · Nov 12, 2024 · 9620825 · 9620825
1 parent c7e5613
commit 9620825
Showing 1 changed file with 7 additions and 0 deletions.
diff --git 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