dune icon indicating copy to clipboard operation
dune copied to clipboard

Changes made to non-dune pinned packages are not visible until `dune clean` is run

Open gridbugs opened this issue 2 years ago • 0 comments

After dune attempts to build a non-dune pinned package, changes to the pinned package are not picked up by dune until dune clean is run, even if the attempt to build the pinned package failed.

Changes to the pinned package should be picked up immediately regardless of the state of the current project and trigger rebuilds as necessary.

Repro test added in: https://github.com/ocaml/dune/pull/10233

gridbugs avatar Mar 08 '24 04:03 gridbugs