Cancel running workflows from same PR/branch/tag when new workflow is triggered

Author: miguno

.github/workflows/docker-image.yml

@@ -6,6 +6,12 @@ on:
   pull_request:
     branches: ["main"]
 
+# To cancel a currently running workflow from the same PR, branch, or tag
+# when a new workflow is triggered.
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 jobs:
 
   build:

.github/workflows/maven.yml

@@ -14,6 +14,12 @@ on:
   pull_request:
     branches: ["main"]
 
+# To cancel a currently running workflow from the same PR, branch, or tag
+# when a new workflow is triggered.
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 jobs:
   build:
     runs-on: ubuntu-latest