From d50e71b521aa9d7409ac4f4bd2b6d6e7b06a5a81 Mon Sep 17 00:00:00 2001
From: Paul Lange <palango@gmx.de>
Date: Wed, 17 Jul 2024 11:40:32 +0200
Subject: [PATCH] Allow triggering CI manually

---
 .github/workflows/ci.yaml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 9b7382e6..00dd74dd 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -9,6 +9,8 @@ on:
     branches:
       - master
 
+  workflow_dispatch:
+
 jobs:
   CI:
     runs-on: ubuntu-latest