Skip to content

feat: add workflow_dispatch trigger to docs workflow#450

Merged
marc0olo merged 1 commit intomainfrom
fix/docs-workflow-dispatch
Mar 19, 2026
Merged

feat: add workflow_dispatch trigger to docs workflow#450
marc0olo merged 1 commit intomainfrom
fix/docs-workflow-dispatch

Conversation

@marc0olo
Copy link
Member

Summary

  • Add workflow_dispatch trigger to the docs workflow so it can be manually triggered from the GitHub Actions UI
  • Update publish-root-files and publish-main-docs job conditions to also run on workflow_dispatch (not just push)
  • publish-versioned-docs unchanged (still only triggers on tags/docs branches)
  • deploy-to-ic already allows non-PR events through

When manually triggered, both publish-root-files and publish-main-docs run before deployment. The /main/ rebuild is redundant in this case (no new code) but harmless and fast — not worth adding complexity to skip it.

Useful for deploying root files (e.g. llms.txt) without requiring a code change.

Allows manually triggering the docs workflow from the GitHub Actions UI,
useful for deploying root files (e.g. llms.txt) without a code change.
@marc0olo marc0olo requested a review from a team as a code owner March 19, 2026 18:00
@marc0olo marc0olo enabled auto-merge (squash) March 19, 2026 18:07
@marc0olo marc0olo merged commit 459f6d9 into main Mar 19, 2026
93 checks passed
@marc0olo marc0olo deleted the fix/docs-workflow-dispatch branch March 19, 2026 18: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.

3 participants