From 5bcf53fa12701909d9de82d4a444d2eba62fe22b Mon Sep 17 00:00:00 2001
From: Felix Weinberger <3823880+felixweinberger@users.noreply.github.com>
Date: Fri, 14 Nov 2025 14:30:33 +0000
Subject: [PATCH] ci: add workflow_dispatch trigger for manual CI runs (#1114)

---
 .github/workflows/main.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index ea619bd0..3f65093d 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]