From 69821a37c23dafbf3f845b741b94c0aaa1b1ad42 Mon Sep 17 00:00:00 2001 From: pmbittner Date: Thu, 26 Sep 2024 11:42:28 +0200 Subject: [PATCH 1/2] CI: kill current deployment job when new CI job is issued Co-authored-by: Benjamin Moosherr --- .github/workflows/maven.yml | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml index 095adb40..1965ca0f 100644 --- a/.github/workflows/maven.yml +++ b/.github/workflows/maven.yml @@ -50,3 +50,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 From edaae4078c5dae0b81b31c7c3b29d81622c9c74a Mon Sep 17 00:00:00 2001 From: pmbittner Date: Thu, 26 Sep 2024 11:26:49 +0200 Subject: [PATCH 2/2] CI: enable manual CI triggers on Github --- .github/workflows/maven.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml index 1965ca0f..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: