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