From 74eada048b903d42d7ca251a2fd425f8cf950a17 Mon Sep 17 00:00:00 2001
From: Adriaan de Groot <groot@kde.org>
Date: Tue, 2 Feb 2021 00:33:01 +0100
Subject: [PATCH] CI: allow manually starting Debian builds, too

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

diff --git a/.github/workflows/ci-debian.yml b/.github/workflows/ci-debian.yml
index b60ce29e6..b5fd42822 100644
--- a/.github/workflows/ci-debian.yml
+++ b/.github/workflows/ci-debian.yml
@@ -3,6 +3,7 @@ name: ci-debian-9
 on:
   schedule:
     - cron: "12 23 * * *"
+  workflow_dispatch:
 
 env:
   BUILDDIR: /build