CN Client CI

Merge pull request #143 from GaloisInc/sc/cn-lsp-telemetry #68

Sign in to view logs

Triggered via push January 24, 2025 17:43

samcowger

main

Status Success

Total duration 23s

Artifacts –

client-ci.yml

on: push

Matrix: build