Skip to content

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

Merge the CI workflows and stop using setup-ocaml

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

This job succeeded