Skip to content

Publish the documentation site with each release - #19

Merged
tauanbinato merged 1 commit into
mainfrom
docs-on-release
Sep 25, 2026
Merged

tauanbinato merged 1 commit into
mainfrom
docs-on-release

Conversation

@tauanbinato

Copy link
Copy Markdown
Contributor

The site's reference pages are generated from the binary, so publishing from main documented unreleased flags. It now deploys when a v* tag is pushed (and on a manual run); pull requests still build it. The site published today describes main until the next release replaces it.

The site's reference pages come from the binary, so it deploys when a release tag is pushed and describes the released version; pull requests still build it.
@tauanbinato
tauanbinato merged commit 0f74234 into main Sep 25, 2026
9 checks passed
@tauanbinato
tauanbinato deleted the docs-on-release branch September 25, 2026 22:53
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