From 94bfefa9a25460f00a1f0dc0345521b247620949 Mon Sep 17 00:00:00 2001 From: Lahfir Date: Thu, 16 Apr 2026 04:14:13 -0700 Subject: [PATCH] ci: broaden pull_request trigger, add workflow_dispatch Previous pull_request: branches: [main, master] only fired when the PR targeted main or master; a pull_request block without 'branches' fires on any target and keeps this PR (and future stacked PRs) under CI. Adds workflow_dispatch so the workflow can be kicked manually from the Actions UI or 'gh workflow run'. --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index b9548c5..c4a81aa 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -4,7 +4,7 @@ on: push: branches: [main, master] pull_request: - branches: [main, master] + workflow_dispatch: env: CARGO_TERM_COLOR: always