From ead4b625b6d6c55443ec208fc91ede1504909595 Mon Sep 17 00:00:00 2001 From: Mao Nakamoto <41178744+maonakamoto@users.noreply.github.com> Date: Sat, 5 Sep 2026 17:09:31 +0200 Subject: [PATCH] chore(ci): add workflow_dispatch so the sweep can re-arm CI on main MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit A GITHUB_TOKEN merge fires no push workflows, and without a workflow_dispatch trigger the auto-merge sweep's re-arm cannot start CI either — PR #27 merged green but left main's tip with no CI run. Co-Authored-By: Claude Fable 5 Claude-Session: https://claude.ai/code/session_01WqKqMnHQHSmkGFfc5t7Rxn --- .github/workflows/ci.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 5f87caa..76925eb 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -5,6 +5,10 @@ on: branches: [main] pull_request: branches: [main] + # Lets the auto-merge sweep re-arm CI after a GITHUB_TOKEN merge (which + # fires no push workflows) — without this, merged commits strand with no + # CI run on main. + workflow_dispatch: jobs: verify: