diff --git a/.github/workflows/build-on-pull-request.yml b/.github/workflows/build-on-pull-request.yml index 758078d1..e9c60dbc 100644 --- a/.github/workflows/build-on-pull-request.yml +++ b/.github/workflows/build-on-pull-request.yml @@ -8,6 +8,8 @@ on: paths: - 'src/**' - 'pom.xml' + # Allows you to run this workflow manually from the Actions tab + workflow_dispatch: concurrency: group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}