CN Server CI

Merge pull request #129 from GaloisInc/sc/remove-hs-server #34

Sign in to view logs

Triggered via push November 5, 2024 00:40

samcowger

main

Status Success

Total duration 3m 58s

Billable time 4m

Artifacts –

server-ci.yml

on: push

Matrix: build