OCaml CI

Merge pull request #149 from GaloisInc/sc/verify-modules #17

Sign in to view logs

Triggered via push January 28, 2025 00:57

samcowger

main

Status Success

Total duration 4m 23s

Artifacts –

ocaml-ci.yml

on: push

Matrix: build