From 2f4520cc5e86c54ad1f8af6a653d3c0e7465ef86 Mon Sep 17 00:00:00 2001
From: schlichtig <michael.schlichtig@uni-paderborn.de>
Date: Fri, 13 Dec 2024 13:31:57 +0100
Subject: [PATCH] Allow build_and_test.yml to be triggered manually

GitHub bot PRs do not trigger build actions. Therefore, we allow them to be triggered manually for the merge queue.
---
 .github/workflows/build_and_test.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/build_and_test.yml b/.github/workflows/build_and_test.yml
index 4efc3ade8..391b9bebf 100644
--- a/.github/workflows/build_and_test.yml
+++ b/.github/workflows/build_and_test.yml
@@ -8,6 +8,7 @@ on:
       - develop
   pull_request:
     types: [opened, reopened]
+  workflow_dispatch:
 
 env:
   JAVA_VERSION: 17