From d06bdc62e3149ca71874405f398a714db0e7e7d9 Mon Sep 17 00:00:00 2001 From: "Mark S. Lewis" Date: Wed, 17 Jun 2026 18:41:42 +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 supersede 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.yml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.github/workflows/pr_title.yml b/.github/workflows/pr_title.yml index 5d45c0f..827e0a9 100644 --- a/.github/workflows/pr_title.yml +++ b/.github/workflows/pr_title.yml @@ -4,6 +4,11 @@ on: pull_request_target: types: [opened, edited, synchronize, reopened] +# Most recent PR change supersedes 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