From b960581fd18d1d475028ac1c96b158b194d90451 Mon Sep 17 00:00:00 2001 From: Mikkeli Date: Wed, 26 Aug 2026 23:57:33 +0900 Subject: [PATCH] ci: allow manual runs with workflow_dispatch MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The workflow only triggered on push and pull_request, so a run that failed for reasons outside the repo — runner down, toolchain changed underneath it — could only be retried with an empty commit. That is a likelier situation with a self-hosted runner than with hosted ones. Co-Authored-By: Claude Opus 5 --- .github/workflows/ci.yaml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 55a56a2..96e2259 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -5,6 +5,10 @@ on: branches: [ master ] pull_request: branches: [ master ] + # Manual trigger. Worth having on a self-hosted runner: when a run fails for + # reasons outside the repo — the runner was down, a toolchain changed — this + # re-runs it without an empty commit to force one. + workflow_dispatch: # Both jobs target a self-hosted runner, by capability rather than by hostname. # See tool/setup_ci_runner.sh for how that runner is provisioned and why it is