Skip to content

Conversation

microbit-robert
Copy link
Collaborator

Do not edit the PR title.
It was automatically generated by pxt bump and must follow a specific pattern.
GitHub workflows rely on it to trigger version tagging and publishing to npm.

@microbit-robert microbit-robert merged commit 37e13d9 into main Jun 12, 2025
1 check passed
@microbit-robert microbit-robert deleted the microbit-robert/pxt-bump-20250612-133408 branch June 12, 2025 13:36
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.

1 participant