From 726c777f5dff465c5f7c6afb6149d2b37f838b4b Mon Sep 17 00:00:00 2001
From: Daniel Weindl <dweindl@users.noreply.github.com>
Date: Mon, 19 Dec 2022 10:00:09 +0100
Subject: [PATCH] GHA: Add 'on workflow_dispatch' (#989)

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index e90526e1e..faa09ae6c 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -6,6 +6,7 @@ on:
     branches:
     - main
   pull_request:
+  workflow_dispatch:
   schedule:
     # run Monday and Thursday at 03:42 UTC
     - cron: '42 3 * * MON,THU'