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: