Merge pull request #148 from VariantSync/fix-CI

CI fixes
VariantSync · Sep 26, 2024 · 1c1d90e · 1c1d90e
2 parents 10a7aa5 + edaae40
commit 1c1d90e
Showing 1 changed file with 7 additions and 0 deletions.
diff --git 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