Closed hhugo closed 1 year ago
We can remove the opam pin dune now that dune 3.8.3 has been released. https://discuss.ocaml.org/t/ann-dune-3-8-0/12291/3?u=hhugo
opam pin dune
Let's make sure the CI is happy before merging.
We can remove the
opam pin dunenow that dune 3.8.3 has been released. https://discuss.ocaml.org/t/ann-dune-3-8-0/12291/3?u=hhugoLet's make sure the CI is happy before merging.