Skip to content

Merge the CI workflows and stop using setup-ocaml #77

Merge the CI workflows and stop using setup-ocaml

Merge the CI workflows and stop using setup-ocaml #77

build  /  test

succeeded Aug 30, 2024 in 19m 2s