From 24dbb9a62cd840194e75cd15dc7146eb1ea9bb4c Mon Sep 17 00:00:00 2001
From: Felix Weinberger <fweinberger@anthropic.com>
Date: Fri, 14 Nov 2025 14:27:14 +0000
Subject: [PATCH] ci: add workflow_dispatch trigger for manual CI runs

Allow manual triggering of CI workflow from GitHub Actions UI.
This enables running CI on bot-created PRs that don't automatically
trigger workflows due to GITHUB_TOKEN limitations.
---
 .github/workflows/main.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index ea619bd01..3f65093d0 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -3,6 +3,7 @@ on:
         branches:
             - main
     pull_request:
+    workflow_dispatch:
     release:
         types: [published]