From c74ee1e867c345bfe7b7a566a2ee2636e593e91e Mon Sep 17 00:00:00 2001
From: PaulaKramer <s8ppkram@stud.uni-saarland.de>
Date: Thu, 15 Feb 2024 16:26:07 +0100
Subject: [PATCH] add manual ci trigger

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index c8064bd5..05ea6923 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - "master"
+  workflow_dispatch: 
   pull_request:
     branches:
       - "master"