Skip to content

Merge pull request #151 from GaloisInc/sc/cn-d7d4e67 #22

Merge pull request #151 from GaloisInc/sc/cn-d7d4e67

Merge pull request #151 from GaloisInc/sc/cn-d7d4e67 #22

Triggered via push January 30, 2025 19:07
Status Success
Total duration 4m 15s
Artifacts

ocaml-ci.yml

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