Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

pixi: Update registry before instantiating #693

Closed
wants to merge 1 commit into from

Conversation

Hofer-Julian
Copy link
Contributor

No description provided.

@visr
Copy link
Member

visr commented Oct 23, 2023

Not sure what's wise here. Instantiate should do this automatically, but the reason for this PR is that we observed once that didn't happen. Perhaps we should check if we can reproduce it first? If we do this, I'd probably prefer using the keyword argument initialize(; update_registry = true) explicitly.

@Hofer-Julian
Copy link
Contributor Author

initialize(; update_registry = true)

That is already the default value, so I assume if there's a bug it is deeper in the code.

I am actually fine either way, when I opened the PR I didn't know yet that this was supposed to be automatic.

@visr
Copy link
Member

visr commented Oct 25, 2023

Shall we just close this then? If it happens again it's relatively easy to tell since it will tell you that new versions you require don't exist.

@Hofer-Julian
Copy link
Contributor Author

Sure

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants