From 71dfc3f65c945dcd97c212eaceb76be46daa5f60 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Camilla=20L=C3=B6wy?= <elmindreda@elmindreda.org>
Date: Thu, 26 Jan 2023 18:41:46 +0100
Subject: [PATCH] Add support for manually running build workflow

(cherry picked from commit 8f470597d625ae28758c16b4293dd42d63e8a83a)
---
 .github/workflows/build.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 0b09e0f3..fc0d6c3e 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -3,6 +3,7 @@ on:
     pull_request:
     push:
         branches: [ ci, master, latest, 3.3-stable ]
+    workflow_dispatch:
 permissions:
     statuses: write
     contents: read