From 63f89bd3d1b06f24f76ab7ac96c6ae1cdcd7fb81 Mon Sep 17 00:00:00 2001 From: hunterdsp Date: Sun, 12 Jul 2026 08:55:33 -0400 Subject: [PATCH] ci: dispatch a mirror refresh to just-buildit.github.io on push to main mirror.yml's repository_dispatch: [mirror] trigger existed but nothing ever fired it -- get-jb.sh/just-runit only refreshed on the daily 06:00 UTC cron, up to ~24h stale after a push here. New trigger-mirror job (gated on ci-passed, push-to-main only) fires the dispatch via `gh api repos/just-buildit/just-buildit.github.io/dispatches`. Requires an org-level MIRROR_DISPATCH_TOKEN secret (a PAT with repo access to just-buildit.github.io) -- not a required check, so this is a no-op failure until that secret exists, never blocks this repo's CI. --- .github/workflows/ci.yml | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 34ba61a..e7a4e9e 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -193,6 +193,23 @@ jobs: fi echo "All required jobs passed" + trigger-mirror: + name: Trigger docs mirror refresh + # Nudges just-buildit.github.io's mirror.yml (repository_dispatch: + # mirror) to pull the fresh get-jb.sh/just-runit immediately instead of + # waiting for its daily cron. Never blocks anything else in this repo — + # not a required check, doesn't gate merges. + needs: ci-passed + runs-on: ubuntu-latest + if: github.event_name == 'push' && github.ref == 'refs/heads/main' && needs.ci-passed.result == 'success' + steps: + - name: Dispatch mirror refresh + env: + GH_TOKEN: ${{ secrets.MIRROR_DISPATCH_TOKEN }} + run: | + gh api repos/just-buildit/just-buildit.github.io/dispatches \ + -f event_type=mirror + deploy-docs: needs: [coverage, lint] runs-on: ubuntu-latest