Skip to content

Conversation

@IanButterworth
Copy link
Member

Fixes #4185

Otherwise resolve can fail if the manifest that the package is being dev-ed into is in a newer state than the local machine's registry.

This was referenced Mar 31, 2025
@IanButterworth IanButterworth mentioned this pull request Jun 21, 2025
10 tasks
@KristofferC KristofferC mentioned this pull request Jul 1, 2025
22 tasks
@github-project-automation github-project-automation bot moved this to New in Pkg.jl Jul 2, 2025
@IanButterworth IanButterworth changed the title Update registries if necessary during dev Update registries during dev Jul 2, 2025
@IanButterworth IanButterworth moved this from New to Icebox in Pkg.jl Jul 2, 2025
@KristofferC KristofferC mentioned this pull request Jul 12, 2025
9 tasks
@IanButterworth IanButterworth force-pushed the ib/dev_update_registries branch from 1015141 to c0850c0 Compare July 15, 2025 14:42
@IanButterworth IanButterworth moved this from Icebox to In review in Pkg.jl Jul 15, 2025
@IanButterworth IanButterworth merged commit 0e123a2 into JuliaLang:master Jul 15, 2025
11 checks passed
@github-project-automation github-project-automation bot moved this from In review to Done in Pkg.jl Jul 15, 2025
KristofferC pushed a commit that referenced this pull request Sep 15, 2025
(cherry picked from commit 0e123a2)
KristofferC pushed a commit that referenced this pull request Oct 15, 2025
(cherry picked from commit 0e123a2)
KristofferC pushed a commit that referenced this pull request Oct 15, 2025
(cherry picked from commit 0e123a2)
KristofferC pushed a commit that referenced this pull request Oct 15, 2025
(cherry picked from commit 0e123a2)
@KristofferC KristofferC mentioned this pull request Oct 15, 2025
8 tasks
KristofferC pushed a commit that referenced this pull request Nov 5, 2025
(cherry picked from commit 0e123a2)
@KristofferC KristofferC mentioned this pull request Nov 5, 2025
24 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

Resolver error if a manifest contains a version that isn't in registries or local packages

1 participant