Skip to content
Telemetry CI

Merge pull request #137 from GaloisInc/sc/telemetry #3

Sign in to view logs

Merge pull request #137 from GaloisInc/sc/telemetry

Merge pull request #137 from GaloisInc/sc/telemetry #3

Triggered via push December 19, 2024 16:31
@samcowgersamcowger
pushed e4f311e
main
Status Success
Total duration 8m 30s
Artifacts –

telemetry-ci.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in