CI: upload server binary · GaloisInc/VERSE-Toolchain@b4ef4f2

Triggered via pull request November 11, 2024 20:24

samcowger

synchronize #130

sc/ci-server-binary

Status Success

Total duration 3m 38s

Billable time 4m

Artifacts 1

server-ci.yml

on: pull_request

Matrix: build

Produced during runtime

Name	Size
cn-lsp-server-ubuntu-22.04 Expired	14.3 MB