From 433655e42ef843aec5af637ad81b03a997c7050f Mon Sep 17 00:00:00 2001 From: Maxime Gaudin Date: Mon, 22 Jun 2026 07:47:04 +0200 Subject: [PATCH] ci: add workflow_dispatch to manually retrigger checks Lets maintainers run the full CI pipeline from the Actions tab when push/PR events fail to fire (e.g. after merging main into a stale branch). Select the PR branch in the UI; checks attach to its HEAD commit. Co-authored-by: Cursor --- .github/workflows/ci.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 72526d8..f891985 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -5,6 +5,10 @@ on: branches: [main] pull_request: branches: [main] + # Manual re-run when push/PR events fail to trigger (e.g. after merging main + # into a long-lived branch). Pick the PR branch in the Actions UI; checks + # attach to that branch's HEAD commit and satisfy required status on the PR. + workflow_dispatch: env: CARGO_TERM_COLOR: always