From b154a38dddc18609411c670ef80cc3ebc6b31c8d Mon Sep 17 00:00:00 2001
From: Soeren Domroes <sdo@informatik.uni-kiel.de>
Date: Mon, 26 Aug 2024 13:57:45 +0200
Subject: [PATCH] Added manual workflow triggering

---
 .github/workflows/ci.yml             | 1 +
 .github/workflows/publish-docker.yml | 1 +
 2 files changed, 2 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 737c6b4..59a4c31 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -8,6 +8,7 @@ on:
   push:
     branches:
       - master
+  workflow_dispatch: # manual triggering, for debugging purposes
 
 jobs:
   build:
diff --git a/.github/workflows/publish-docker.yml b/.github/workflows/publish-docker.yml
index 05375c5..6f3d448 100644
--- a/.github/workflows/publish-docker.yml
+++ b/.github/workflows/publish-docker.yml
@@ -12,6 +12,7 @@ on:
 
   pull_request:
     branches: ["master"]
+  workflow_dispatch: # manual triggering, for debugging purposes
     
 env:
   # Use docker.io for Docker Hub if empty