From 81a114f495b607360543a81b35d2670f9acf9b88 Mon Sep 17 00:00:00 2001 From: skjnldsv Date: Fri, 5 Jun 2026 10:13:51 +0200 Subject: [PATCH] ci: allow manual deploy via workflow_dispatch 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 --- .github/workflows/sphinxbuild.yml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/.github/workflows/sphinxbuild.yml b/.github/workflows/sphinxbuild.yml index d4e9b52c6e9..1e731dce71d 100644 --- a/.github/workflows/sphinxbuild.yml +++ b/.github/workflows/sphinxbuild.yml @@ -8,6 +8,7 @@ on: - stable* schedule: - cron: '0 2 * * *' # 02:00 UTC daily — full build + deploy + workflow_dispatch: permissions: contents: read @@ -513,7 +514,7 @@ jobs: deploy: name: Deploy documentation for gh-pages needs: stage-and-check - if: github.event_name == 'schedule' + if: github.event_name == 'schedule' || github.event_name == 'workflow_dispatch' runs-on: ubuntu-latest permissions: @@ -874,6 +875,6 @@ jobs: echo "This workflow ran for a push. We need stage-and-check and link-check to succeed; deploy and netlify-preview must be skipped" if ${{ needs.stage-and-check.result != 'success' || needs.link-check.result != 'success' || needs.deploy.result != 'skipped' || needs.netlify-preview.result != 'skipped' }}; then exit 1; fi else - echo "This workflow ran on schedule. We need stage-and-check, link-check, and deploy to succeed; netlify-preview must be skipped" + echo "This workflow ran on schedule or workflow_dispatch. We need stage-and-check, link-check, and deploy to succeed; netlify-preview must be skipped" if ${{ needs.stage-and-check.result != 'success' || needs.link-check.result != 'success' || needs.deploy.result != 'success' || needs.netlify-preview.result != 'skipped' }}; then exit 1; fi fi