. e cancel existing pipeline runs if a new one started

Author: LarsEckart

.github/workflows/formatJava.yml

@@ -1,6 +1,12 @@
 name: FormatJava
 on:
   push:
+
+# Cancel existing executions when new commits are pushed onto the branch
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   build:
     runs-on: ubuntu-latest

.github/workflows/test.yml

@@ -7,6 +7,11 @@ on:
     branches: [ master ]
   workflow_dispatch:
 
+# Cancel existing executions when new commits are pushed onto the branch
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   build:
     runs-on: ${{ matrix.os }}-latest

.github/workflows/updateMarkdown.yml

@@ -4,6 +4,11 @@ on:
   push:
   workflow_dispatch:
 
+# Cancel existing executions when new commits are pushed onto the branch
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   update-markdown-snippets:
     runs-on: ubuntu-latest