Merge pull request #91 from tmcgilchrist/ocaml_5 #283

Sign in to view logs

Triggered via push December 19, 2023 22:45

master

Status Success

Total duration 18m 17s

Artifacts –

ci.yaml

on: push

Matrix: build