Skip to content

ci: allow manual deploy via workflow_dispatch - #15085

Merged
skjnldsv merged 1 commit into
masterfrom
feature/workflow-dispatch-deploy
Jun 5, 2026
Merged

ci: allow manual deploy via workflow_dispatch#15085
skjnldsv merged 1 commit into
masterfrom
feature/workflow-dispatch-deploy

Conversation

@skjnldsv

@skjnldsv skjnldsv commented Jun 5, 2026

Copy link
Copy Markdown
Member

☑️ Resolves

  • Allow manual documentation deployment from GitHub Actions UI

🖼️ Screenshots

N/A — CI-only change, no visual impact.

Description

Add workflow_dispatch trigger to the sphinxbuild workflow so documentation deploys can be triggered manually without waiting for the nightly schedule cron.

Changes:

  • Added workflow_dispatch: to the on: triggers
  • Updated the deploy job condition to also run on workflow_dispatch
  • Updated the summary job to handle workflow_dispatch the same as schedule

✅ Checklist

  • I have built the documentation locally and reviewed the output
  • Screenshots are included for visual changes
  • I have not moved or renamed pages (or added a redirect if I did)
  • I have run codespell or similar and addressed any spelling issues

Add workflow_dispatch trigger to the sphinxbuild workflow so deploys
can be triggered manually from the GitHub Actions UI without waiting
for the daily schedule.

Signed-off-by: skjnldsv <skjnldsv@protonmail.com>
@github-actions github-actions Bot added github_actions Pull requests that update GitHub Actions code 3. to review labels Jun 5, 2026
@skjnldsv
skjnldsv merged commit 8f8f78c into master Jun 5, 2026
21 checks passed
@skjnldsv
skjnldsv deleted the feature/workflow-dispatch-deploy branch June 5, 2026 08:15
@skjnldsv

skjnldsv commented Jun 5, 2026

Copy link
Copy Markdown
Member Author

/backport to stable34

@skjnldsv

skjnldsv commented Jun 5, 2026

Copy link
Copy Markdown
Member Author

/backport to stable33

@skjnldsv

skjnldsv commented Jun 5, 2026

Copy link
Copy Markdown
Member Author

/backport to stable32

@github-actions

github-actions Bot commented Jun 5, 2026

Copy link
Copy Markdown
Contributor

📖 Documentation Preview

🔍 Open preview →

No RST documentation pages changed in this PR.

Last updated: Fri, 05 Jun 2026 08:20:19 GMT

skjnldsv added a commit that referenced this pull request Jun 15, 2026
Backport of:
- fix/cancel-duplicate-sphinx-builds (#14563): use github.ref for
  push event concurrency group to cancel duplicate builds
- feature/workflow-dispatch-deploy (#15085): allow manual deploy via
  workflow_dispatch trigger
- copilot/add-meta-robots-noindex (#14800): add noindex meta tag to
  non-stable docs, strip it from stable docs on deploy, and write
  robots.txt to allow only stable version to be indexed

Signed-off-by: skjnldsv <skjnldsv@protonmail.com>
skjnldsv added a commit that referenced this pull request Jun 15, 2026
Backport of:
- fix/cancel-duplicate-sphinx-builds (#14563): use github.ref for
  push event concurrency group to cancel duplicate builds
- feature/workflow-dispatch-deploy (#15085): allow manual deploy via
  workflow_dispatch trigger
- copilot/add-meta-robots-noindex (#14800): add noindex meta tag to
  non-stable docs, strip it from stable docs on deploy, and write
  robots.txt to allow only stable version to be indexed

Signed-off-by: skjnldsv <skjnldsv@protonmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

3. to review enhancement github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant