Skip to content

Upgrade theme package#1228

Merged
microbit-robert merged 1 commit intomainfrom
upgrade-theme
Jul 31, 2025
Merged

Upgrade theme package#1228
microbit-robert merged 1 commit intomainfrom
upgrade-theme

Conversation

@microbit-robert
Copy link
Collaborator

No description provided.

@github-actions
Copy link

Preview build will be at
https://review-python-editor-v3.microbit.org/upgrade-theme/

@microbit-robert microbit-robert merged commit 3727b12 into main Jul 31, 2025
2 checks passed
@microbit-robert microbit-robert deleted the upgrade-theme branch July 31, 2025 15:10
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