From 527879b55e244e8823e33b96357bfbaf7d911144 Mon Sep 17 00:00:00 2001
From: "Ishaan (OpenClaw)" <ishaan@openclaw.local>
Date: Fri, 6 Feb 2026 22:55:27 +0000
Subject: [PATCH] ci: add workflow_dispatch for manual reruns

---
 .github/workflows/ci.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 9ff7d432..7401f9ec 100644
--- 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 }}