Skip to content

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

Merge the CI workflows and stop using setup-ocaml

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

build  /  test

succeeded Sep 3, 2024 in 23m 57s