Skip to content

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

Merge the CI workflows and stop using setup-ocaml

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

build  /  test

succeeded Sep 5, 2024 in 36m 11s