diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml index 095adb40..cca83e87 100644 --- a/.github/workflows/maven.yml +++ b/.github/workflows/maven.yml @@ -8,6 +8,7 @@ on: branches: [ "main", "develop" ] pull_request: branches: + workflow_dispatch: jobs: build: @@ -50,3 +51,9 @@ jobs: - name: Publish Javadoc to Github Pages id: deployment uses: actions/deploy-pages@v1 + + # Kill in progress deployments because only the newest version is relevant + # and concurrent deployments cause CI failures. + concurrency: + group: ${{ github.workflow }}-${{ github.ref }} + cancel-in-progress: true