From b793b2c5d254c6844bd43db15a5f0e15f45e16de Mon Sep 17 00:00:00 2001 From: Scott Lowe Date: Tue, 6 Oct 2026 11:22:57 -0700 Subject: [PATCH] Allow Publish Docs to be run manually The nightly update-openapi job auto-merges its spec PR with the built-in GITHUB_TOKEN, and GitHub does not start other workflows from events made with that token. So Publish Docs never runs for spec updates, and API reference changes stay unpublished until someone merges an unrelated PR. Add a workflow_dispatch trigger so the site can be republished on demand, and widen the job guard to accept it. Manual runs stay limited to main. Co-Authored-By: Claude Opus 5.5 --- .github/workflows/publish-docs.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/publish-docs.yml b/.github/workflows/publish-docs.yml index afce822fe..7dcfb1fd8 100644 --- a/.github/workflows/publish-docs.yml +++ b/.github/workflows/publish-docs.yml @@ -4,11 +4,12 @@ on: push: branches: - main + workflow_dispatch: jobs: run: runs-on: ubuntu-latest - if: ${{ github.event_name == 'push' && contains(github.ref, 'refs/heads/main') && github.run_number > 1 }} + if: ${{ (github.event_name == 'push' || github.event_name == 'workflow_dispatch') && github.ref == 'refs/heads/main' && github.run_number > 1 }} steps: - name: Checkout repository uses: actions/checkout@v4