You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
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: #10233
The text was updated successfully, but these errors were encountered: