Closed talex5 closed 1 year ago
Otherwise, dune build will try to run it and fail.
dune build
This got merged, but GitHub seems to have forgotten to close it.
Otherwise,
dune build
will try to run it and fail.