Skip to content

Conversation

zerosnacks
Copy link
Member

pushing to main directly is disabled

@zerosnacks zerosnacks merged commit 87ad8eb into main Aug 25, 2025
15 checks passed
@zerosnacks zerosnacks deleted the 0.18.3 branch August 25, 2025 19:02
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