Skip to content

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

Merge the CI workflows and stop using setup-ocaml

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

This job succeeded