From 9d2bc14e5d873ed8f36959bf8a5b1899c1b5b833 Mon Sep 17 00:00:00 2001
From: Pere Miquel Brull <peremiquelbrull@gmail.com>
Date: Wed, 23 Aug 2023 09:32:14 +0200
Subject: [PATCH] Run Maven CI on manual dispatch (#12970)

* Add manual dispatch for CI actions

* Run maven CI on workflow dispatch
---
 .github/workflows/maven-build.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/maven-build.yml b/.github/workflows/maven-build.yml
index 658976757b3..c450cf90ccf 100644
--- a/.github/workflows/maven-build.yml
+++ b/.github/workflows/maven-build.yml
@@ -117,7 +117,7 @@ jobs:
       - name: Build with Maven
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-        if: ${{ github.event_name == 'push' }}
+        if: ${{ github.event_name == 'push' | github.event_name == 'workflow_dispatch' }}
         run: mvn -Dsonar.login=${{ secrets.SONAR_TOKEN }} clean test
 
       - name: Clean Up