Skip to content

Conversation

@adolgert
Copy link
Owner

minor change to build docs and deploy when there is a new tagged version.

@adolgert adolgert merged commit 1c9af5b into main Nov 28, 2025
5 checks passed
@adolgert adolgert deleted the docs/build-on-version branch November 28, 2025 16:56
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