From 84834b7fc722a01ef8e852fad780db75a1e2ab3a Mon Sep 17 00:00:00 2001 From: "Mark S. Lewis" Date: Wed, 17 Jun 2026 13:05:25 +0100 Subject: [PATCH] build: workflow concurrency for PR title check This change adds concurrency configuration to the PR title check workflow so that more recent modifications to a PR superseed previous ones. Any active workflow runs triggered by earlier PR modifications are cancelled. This avoids a race condition when multiple workflows are running in parallel and minimises the the impact on build resources. Signed-off-by: Mark S. Lewis --- .github/workflows/pr_title.yaml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.github/workflows/pr_title.yaml b/.github/workflows/pr_title.yaml index 5bc673dfd..61bd54abc 100644 --- a/.github/workflows/pr_title.yaml +++ b/.github/workflows/pr_title.yaml @@ -4,6 +4,11 @@ on: pull_request_target: types: [opened, edited, synchronize, reopened] +# Most recent PR change superseeds previous changes. +concurrency: + group: ${{ github.workflow }}-${{ github.ref }} + cancel-in-progress: true + # Default to the minimum read-only token for all jobs. permissions: contents: read