Skip to content

Merge pull request #155 from GaloisInc/sc/readme-switches #33

Merge pull request #155 from GaloisInc/sc/readme-switches

Merge pull request #155 from GaloisInc/sc/readme-switches #33

Triggered via push February 18, 2025 01:50
Status Success
Total duration 4m 19s
Artifacts

ocaml-ci.yml

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