OCaml CI

Merge pull request #172 from GaloisInc/mdd/lens-note #72

Sign in to view logs

Triggered via push February 24, 2025 20:03

septract

main

Status Success

Total duration 5m 44s

Artifacts –

ocaml-ci.yml

on: push

Matrix: build