Skip to content

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

Merge the CI workflows and stop using setup-ocaml

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

This job succeeded