Skip to content

Conversation

@devmotion
Copy link
Member

Automerge failed since the registry doesn't allow to update Julia compat entries in a patch release: JuliaRegistries/General#137312 (comment)

@devmotion devmotion merged commit 7decc58 into master Aug 26, 2025
10 of 11 checks passed
@devmotion devmotion deleted the devmotion-patch-2 branch September 12, 2025 14:26
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.

3 participants