Skip to content

Merge pull request #147 from GaloisInc/sc/user-profile-telemetry #13

Merge pull request #147 from GaloisInc/sc/user-profile-telemetry

Merge pull request #147 from GaloisInc/sc/user-profile-telemetry #13

Triggered via push January 27, 2025 17:15
Status Success
Total duration 5m 2s
Artifacts

ocaml-ci.yml

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