[PR] cancel previous build on new commit (#3035)

* [PR] cancel previous build on new commit Signed-off-by: Iliyan Velichkov <velichkov.iliyan@gmail.com> * test termination
eclipse-dirigible · Nov 27, 2023 · d952d79 · d952d79
1 parent 54e48c8
commit d952d79
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/pull-request.yml b/.github/workflows/pull-request.yml
@@ -5,6 +5,9 @@ on:
     branches: 
       - main
       - master
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
 jobs:
   build:        
     runs-on: ${{ matrix.os }}-latest