OCaml CI

Merge pull request #154 from GaloisInc/sc/cn-progress #30

Sign in to view logs

Triggered via push February 18, 2025 01:29

samcowger

main

Status Success

Total duration 4m 8s

Artifacts –

ocaml-ci.yml

on: push

Matrix: build