From e643ab337ae726a823e3fefee8624f92037cfdc1 Mon Sep 17 00:00:00 2001
From: Jakob Reschke <j4yk@users.noreply.github.com>
Date: Sun, 11 Sep 2022 15:47:05 +0200
Subject: [PATCH] Allow to trigger GitHub CI workflow manually

(cherry picked from commit ddd4920508cfb9c4b7ef550515fa878b435e35aa)
---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 494da704d..25f59a216 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,6 +1,6 @@
 name: CI
 
-on: [ push, pull_request ]
+on: [ push, pull_request, workflow_dispatch ]
 
 jobs:
   build: