ci: add workflow_dispatch for manual reruns

2026-02-06 22:55:27 +00:00
parent e8e27fdcc3
commit 527879b55e
1 changed files with 2 additions and 0 deletions
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -4,6 +4,8 @@ on:
  pull_request:
  push:
    branches: [master]
+  # Allow maintainers to manually kick CI when GitHub doesn't create a run for a new head SHA.
+  workflow_dispatch:

 concurrency:
  group: ci-${{ github.workflow }}-${{ github.ref }}