CI: further standardise the concurrency settings

Author: wilfwilson

.github/workflows/config-options.yml

@@ -11,10 +11,9 @@ on:
     - cron: '15 4 * * *'
 
 concurrency:
-  # Group by workflow and ref; the last component ensures that for pull
-  # requests, we limit to one concurrent job, but for the default branch we
-  # don't
-  group: ${{ github.workflow }}-${{ github.ref }}-${{ (github.ref != github.event.repository.default_branch && !startsWith(github.ref, 'refs/heads/stable-')) || github.run_number }}
+  # Group by workflow and ref; the last component ensures that for pull requests
+  # we limit to one concurrent job, but for the main/stable branches we don't
+  group: ${{ github.workflow }}-${{ github.ref }}-${{ (github.ref != 'main' && !startsWith(github.ref, 'refs/heads/stable-')) || github.run_number }}
   # Only cancel intermediate pull request builds
   cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
 

.github/workflows/extended.yml

@@ -12,9 +12,9 @@ on:
     - cron: 30 2 * * *
 
 concurrency:
-  # Group by workflow and ref; the last component ensures that for pull
-  # requests, we limit to one concurrent job, but for the main branch we don't
-  group: ${{ github.workflow }}-${{ github.ref }}-${{ github.ref != 'refs/heads/main' || github.run_number }}
+  # Group by workflow and ref; the last component ensures that for pull requests
+  # we limit to one concurrent job, but for the main/stable branches we don't
+  group: ${{ github.workflow }}-${{ github.ref }}-${{ (github.ref != 'main' && !startsWith(github.ref, 'refs/heads/stable-')) || github.run_number }}
   # Only cancel intermediate pull request builds
   cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
 

.github/workflows/manual.yml

@@ -11,9 +11,9 @@ on:
     - cron: '33 3 * * *'
 
 concurrency:
-  # Group by workflow and ref; the last component ensures that for pull
-  # requests, we limit to one concurrent job, but for the main branch we don't
-  group: ${{ github.workflow }}-${{ github.ref }}-${{ github.ref != 'refs/heads/main' || github.run_number }}
+  # Group by workflow and ref; the last component ensures that for pull requests
+  # we limit to one concurrent job, but for the main/stable branches we don't
+  group: ${{ github.workflow }}-${{ github.ref }}-${{ (github.ref != 'main' && !startsWith(github.ref, 'refs/heads/stable-')) || github.run_number }}
   # Only cancel intermediate pull request builds
   cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
 

.github/workflows/standard.yml

@@ -11,9 +11,9 @@ on:
     - cron: '15 3 * * *'
 
 concurrency:
-  # Group by workflow and ref; the last component ensures that for pull
-  # requests, we limit to one concurrent job, but for the main branch we don't
-  group: ${{ github.workflow }}-${{ github.ref }}-${{ github.ref != 'refs/heads/main' || github.run_number }}
+  # Group by workflow and ref; the last component ensures that for pull requests
+  # we limit to one concurrent job, but for the main/stable branches we don't
+  group: ${{ github.workflow }}-${{ github.ref }}-${{ (github.ref != 'main' && !startsWith(github.ref, 'refs/heads/stable-')) || github.run_number }}
   # Only cancel intermediate pull request builds
   cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
 

.github/workflows/workspaces.yml

@@ -15,8 +15,11 @@ on:
     - cron: '15 3 * * *'
 
 concurrency:
-  group: ${{ github.workflow }}-${{ github.ref }}
-  cancel-in-progress: true
+  # Group by workflow and ref; the last component ensures that for pull requests
+  # we limit to one concurrent job, but for the main/stable branches we don't
+  group: ${{ github.workflow }}-${{ github.ref }}-${{ (github.ref != 'main' && !startsWith(github.ref, 'refs/heads/stable-')) || github.run_number }}
+  # Only cancel intermediate pull request builds
+  cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
 
 jobs:
   workspaces: