Removing dune from setup instructions #2020
Merged
deploy.ci.ocaml.org / deployability
succeeded
Feb 5, 2024 in 11m 51s
Completed
Passed
Loading