add workflow_dispatch event to enable manual CI build

ops4j · Oct 11, 2023 · 1bbeb46 · 1bbeb46
1 parent 9b26238
commit 1bbeb46
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml
@@ -5,6 +5,7 @@ on:
     branches: [ "master" ]
   pull_request:
     branches: [ "master" ]
+  workflow_dispatch:
 
 jobs:
   build: