Run Maven CI on manual dispatch (#12970)

* Add manual dispatch for CI actions

* Run maven CI on workflow dispatch
This commit is contained in:
Pere Miquel Brull 2023-08-23 09:32:14 +02:00 committed by GitHub
parent 7f9144845e
commit 9d2bc14e5d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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