Skip to content

Conversation

microbit-grace
Copy link
Contributor

No description provided.

@microbit-grace microbit-grace changed the title Only build-docs when creating tags Build docs always, but only deploy docs when creating tags Jan 29, 2025
@microbit-matt-hillsdon microbit-matt-hillsdon merged commit f63b5f9 into master Jan 30, 2025
3 checks passed
@microbit-matt-hillsdon microbit-matt-hillsdon deleted the tags-only branch January 30, 2025 10:08
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