Skip to content

ensure sources take prio over manifest information, take 2#4508

Draft
KristofferC wants to merge 5 commits intomasterfrom
kc/sources_prio
Draft

ensure sources take prio over manifest information, take 2#4508
KristofferC wants to merge 5 commits intomasterfrom
kc/sources_prio

Conversation

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: New

Development

Successfully merging this pull request may close these issues.

Changing a source in Project.toml doesn't trigger a full resolution of the environment

1 participant