From fb36c5c4451debba57f7a88a28bd7a1e6bb0e242 Mon Sep 17 00:00:00 2001 From: Shmuel Osovski Date: Mon, 31 Aug 2026 20:20:53 +0300 Subject: [PATCH] ci(docs): let a manual dispatch actually deploy the site MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Both the artifact upload and the deploy job were gated on `github.event_name == 'push'`, so a workflow_dispatch built the docs and then threw them away. The go-public script dispatches docs.yml precisely because the flip is not a push, which meant Pages could never come up that way — https://cemm2.github.io/AKMS/ is currently 404 with the deploy job reporting `skipped`. docs.yml also carries `paths:` filters on push, so an unrelated commit to main does not trigger it either. Without a dispatch path there is no way to redeploy the site on demand at all. Gate on the ref first so a dispatch from a feature branch cannot publish itself over the released docs. Co-Authored-By: Claude Opus 5 (1M context) Claude-Session: https://claude.ai/code/session_01TcdE6eeSDBh8xrgKCoGrkw --- .github/workflows/docs.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 31e4852..29f9283 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -56,14 +56,14 @@ jobs: run: uv run mkdocs build --strict --site-dir site - name: Upload Pages artifact - if: github.event_name == 'push' && github.ref == 'refs/heads/main' + if: github.ref == 'refs/heads/main' && (github.event_name == 'push' || github.event_name == 'workflow_dispatch') uses: actions/upload-pages-artifact@v5 with: path: site deploy: name: Deploy GitHub Pages - if: github.event_name == 'push' && github.ref == 'refs/heads/main' + if: github.ref == 'refs/heads/main' && (github.event_name == 'push' || github.event_name == 'workflow_dispatch') needs: build runs-on: ubuntu-latest permissions: