From a421689f69b679d2eca7f4f4d1fcac8d1d8cf5ff Mon Sep 17 00:00:00 2001
From: "M.K." <mk-pmb@users.noreply.github.com>
Date: Sat, 7 Feb 2026 23:28:24 +0100
Subject: [PATCH] GitHub: allow for manual on-demand CI runs

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index d0f9684d..113ec42b 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -3,6 +3,7 @@ name: CI
 on:
   pull_request:
     branches: [ master ]
+  workflow_dispatch:
 
 jobs:
   build-test: