Skip to content

Conversation

@rgrinberg
Copy link
Member

Do not evaluate dependencies until they are needed. This cuts down on some evaluation for conflicts.

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>

<!-- ps-id: 1ff05926-6f56-4d75-893f-e0743202769d -->

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
@rgrinberg rgrinberg merged commit c0e3bb6 into main Jan 27, 2025
27 checks passed
@rgrinberg rgrinberg deleted the ps/rr/refactor_pkg___lazy_dependency_evaluation branch January 27, 2025 22:12
chris-armstrong pushed a commit to chris-armstrong/dune that referenced this pull request Jan 29, 2025
Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
Signed-off-by: Chris Armstrong <chris-armstrong@users.noreply.github.com>
anmonteiro pushed a commit to anmonteiro/dune that referenced this pull request Apr 22, 2025
Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
Sudha247 pushed a commit to Sudha247/dune that referenced this pull request Jul 23, 2025
Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants