Skip to content

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

Merge the CI workflows and stop using setup-ocaml

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

build  /  test

succeeded Sep 5, 2024 in 25m 29s