Skip to content

chore: Manually trigger docs release#7

Open
agardnerIT wants to merge 1 commit intomainfrom
manual-docs-release
Open

chore: Manually trigger docs release#7
agardnerIT wants to merge 1 commit intomainfrom
manual-docs-release

Conversation

@agardnerIT
Copy link
Copy Markdown

This PR

  • Adds a manual workflow_dispatch trigger so docs maintainers can build and release docs on-demand

Signed-off-by: Adam Gardner <26523841+agardnerIT@users.noreply.github.com>
@agardnerIT agardnerIT requested a review from aepfli August 1, 2023 22:45
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