Skip to content

Conversation

@stemann
Copy link
Contributor

@stemann stemann commented Dec 6, 2025

Follow-up for #12627

@stemann stemann added the meta 🌳 Issues and pull requested related to Yggdrasil itself label Dec 6, 2025
@fingolfin
Copy link
Member

Do you actually want/need a rebuild, or can we merge this with 'skip ci' to avoid that?

@lgoettgens
Copy link
Collaborator

Do you actually want/need a rebuild, or can we merge this with 'skip ci' to avoid that?

As this modifies something in the platform directory, there are no builds happening either way

@fingolfin fingolfin merged commit 641ab3d into JuliaPackaging:master Dec 7, 2025
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

meta 🌳 Issues and pull requested related to Yggdrasil itself

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants