concurrency and cancel in progress pushes

Author: taddes

.github/workflows/checks.yml

@@ -10,6 +10,12 @@ on:
     branches:
       - "**"
 
+# This ensures any in-progress workflows in the same branch or PR
+# are cancelled if there is a fresh push.
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.ref }}
+  cancel-in-progress: true
+
 permissions: {} # workflow-level default — deny all
 
 jobs:

.github/workflows/glean-probe-scraper.yml

@@ -5,8 +5,13 @@ on:
     branches: [master]
   pull_request:
     branches: [master]
+
 permissions: {} # workflow-level default — deny all
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.ref }}
+  cancel-in-progress: true
+
 jobs:
   glean-probe-scraper:
     permissions:

.github/workflows/mysql.yml

@@ -10,6 +10,12 @@ on:
       - "**"
   workflow_dispatch: {}
 
+# This ensures any in-progress workflows in the same branch or PR
+# are cancelled if there is a fresh push.
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.ref }}
+  cancel-in-progress: true
+
 env:
   RUST_VERSION: "1.91" # RUST_VER
   PYTHON_VERSION: "3.12" # PY_VER

.github/workflows/postgres.yml

@@ -10,6 +10,12 @@ on:
       - "**"
   workflow_dispatch: {}
 
+# This ensures any in-progress workflows in the same branch or PR
+# are cancelled if there is a fresh push.
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.ref }}
+  cancel-in-progress: true
+
 env:
   RUST_VERSION: "1.91"
   PYTHON_VERSION: "3.12"
@@ -251,4 +257,3 @@ jobs:
           glob: "*.xml"
           parent: false
           process_gcloudignore: false
-

.github/workflows/publish-docs.yaml

@@ -6,9 +6,11 @@ on:
     branches: [master, main]
     # paths: ['docs/**.md']  # API docs need building always
 
+# This ensures any in-progress workflows in the same branch or PR
+# are cancelled if there is a fresh push.
 concurrency:
-  group: github-pages
-  cancel-in-progress: false # Skip any intermediate builds but finish deploying
+  group: ${{ github.workflow }}-${{ github.head_ref || github.ref }}
+  cancel-in-progress: true # Skip any intermediate builds but finish deploying
 
 jobs:
   build-mdbook:

.github/workflows/spanner.yml

@@ -10,6 +10,12 @@ on:
       - "**"
   workflow_dispatch: {}
 
+# This ensures any in-progress workflows in the same branch or PR
+# are cancelled if there is a fresh push.
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.ref }}
+  cancel-in-progress: true
+
 env:
   RUST_VERSION: "1.91" # RUST_VER
   PYTHON_VERSION: "3.12" # PY_VER
@@ -278,4 +284,3 @@ jobs:
           glob: "*.xml"
           parent: false
           process_gcloudignore: false
-