Skip to content

ci: bootstrap the docs deploy workflow on the default branch - #633

Merged
leandrodamascena merged 1 commit into
mainfrom
docs/bootstrap-docs-workflow
Jul 22, 2026
Merged

ci: bootstrap the docs deploy workflow on the default branch#633
leandrodamascena merged 1 commit into
mainfrom
docs/bootstrap-docs-workflow

Conversation

@apackeer

Copy link
Copy Markdown
Contributor

What

Prerequisite for #630 (the v2 Zensical documentation site): a byte-identical copy of that PR's .github/workflows/docs.yml added to main.

Why

GitHub registers workflow_dispatch only for workflows that exist on the default branch (main). Without this file on main, the docs workflow cannot be manually dispatched at all (gh workflow run docs.yml --ref v2 errors with "workflow not found"), which is needed to trigger the first deployment after the admin flips the Pages source to "GitHub Actions" - review feedback on #630.

Behavior on main

Inert except for dispatch registration:

  • push/pull_request triggers are scoped to v2, so nothing runs on main's own pushes or PRs
  • a manual dispatch with --ref v2 checks out and builds the v2 docs; a dispatch against main would fail fast at the build step (main has no zensical.toml/pyproject.toml), and deploys are additionally inert until the Pages source is switched

No other content on main is touched. Merge this before or together with #630; it has no effect on the currently served Jekyll site either way.

Testing

actionlint clean; the workflow content itself is exercised end to end in #630 (strict build + deploy path verified on a fork preview).

GitHub registers workflow_dispatch only for workflows present on the
default branch. This is a byte-identical copy of the docs.yml shipping
on v2 (the docs-site PR): it deploys the v2 documentation site, so on
main every trigger is inert except workflow_dispatch, which exists so
the workflow can be manually dispatched with --ref v2.

No other main content is touched.

@raj-jain-aws raj-jain-aws left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is a low-risk, well-constructed change. Single file addition (.github/workflows/docs.yml), nothing else touched. The rationale is sound: planting the workflow on main is the only way GitHub will register workflow_dispatch so the v2 docs deploy can be manually triggered.

@leandrodamascena
leandrodamascena added this pull request to the merge queue Jul 22, 2026
Merged via the queue into main with commit 114ef4d Jul 22, 2026
18 of 21 checks passed
@leandrodamascena
leandrodamascena deleted the docs/bootstrap-docs-workflow branch July 22, 2026 11:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants