Skip to content

Using dune build @check to build the project#887

Merged
bclement-ocp merged 2 commits intoOCamlPro:nextfrom Halbaroth:using-dune-build-checkOct 13, 2023
+3-5

Commits

Commits on Oct 13, 2023