chore: add manual trigger to maven_push workflow (#1398)

daniel-kmiecik · web-flow · commit 1b54f69d966f · 2026-02-04T16:23:40.000+01:00
diff --git a/.github/workflows/maven-push.yml b/.github/workflows/maven-push.yml
@@ -3,6 +3,7 @@ name: Build Test Push
 on:
   push:
     branches: [ "master" ]
+  workflow_dispatch:
 
 jobs:
   build_push:
