Auto-cancel old builds when new commit pushed to branch (#98009)

* Auto-cancel old builds when new commit pushed to branch

* Add a fallback

Co-authored-by: Ezio Melotti <ezio.melotti@gmail.com>
* Use the same group for all workflows.

Co-authored-by: Ezio Melotti <ezio.melotti@gmail.com>

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index dc91c0dbcb027bc27df735ea303c2b0595cac2d3..8f5676eec08e77e8dece90de11d6e04d595adc21 100644 (file)
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -25,6 +25,10 @@ on:
 permissions:
   contents: read
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
+
 jobs:
   check_source:
     name: 'Check for source changes'

diff --git a/.github/workflows/build_msi.yml b/.github/workflows/build_msi.yml
index 528679c0ac6b374116f1182dd8c641941b960340..5f1dcae190efbc2bad9f9e291a7f0ae5810a8a78 100644 (file)
--- a/.github/workflows/build_msi.yml
+++ b/.github/workflows/build_msi.yml
@@ -18,6 +18,10 @@ on:
 permissions:
   contents: read
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
+
 jobs:
   build:
     name: Windows Installer

diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
index d95d089ed66755e274c80e44eec4cc30419439b3..10e4cf074a590a643788ab0e38c3c0e93e908640 100644 (file)
--- a/.github/workflows/doc.yml
+++ b/.github/workflows/doc.yml
@@ -28,6 +28,10 @@ on:
 permissions:
   contents: read
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
+
 jobs:
   build_doc:
     name: 'Docs'

diff --git a/.github/workflows/verify-ensurepip-wheels.yml b/.github/workflows/verify-ensurepip-wheels.yml
index 61e3d1adf534d54b5d5ebbef7196c37ca4ad14cc..9f4754f912b09f6257caac0a9bb2093752b5e952 100644 (file)
--- a/.github/workflows/verify-ensurepip-wheels.yml
+++ b/.github/workflows/verify-ensurepip-wheels.yml
@@ -16,6 +16,10 @@ on:
 permissions:
   contents: read
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
+
 jobs:
   verify:
     runs-on: ubuntu-latest