CI: enable manual CI triggers on Github

pmbittner · ibbem · commit edaae4078c5d · 2024-09-26T16:37:39.000+02:00
diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml
@@ -8,6 +8,7 @@ on:
     branches: [ "main", "develop" ]
   pull_request:
     branches:
+  workflow_dispatch:
 
 jobs:
   build:
