Skip to content

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

Merge the CI workflows and stop using setup-ocaml

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

build  /  test

succeeded Sep 5, 2024 in 17m 28s