From 5d48667507d3d80294b139b63af724168383769b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?JB=20Onofr=C3=A9?= <jb.onofre@dremio.com>
Date: Sat, 3 Oct 2026 15:02:21 +0200
Subject: [PATCH] MINOR: Use per-PR concurrency group in Dev PR workflow

The Dev PR workflow runs on pull_request_target, where github.ref is the
base branch rather than the PR ref. All PRs therefore shared a single
concurrency group, and with cancel-in-progress any new run cancelled the
run in progress on another PR, leaving a cancelled "Ensure PR format"
check behind. Key the group on the PR number instead.
---
 .github/workflows/dev_pr.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/dev_pr.yml b/.github/workflows/dev_pr.yml
index ad000df88e..8056f07d67 100644
--- a/.github/workflows/dev_pr.yml
+++ b/.github/workflows/dev_pr.yml
@@ -30,7 +30,8 @@ on:
       - review_requested
 
 concurrency:
-  group: ${{ github.repository }}-${{ github.ref }}-${{ github.workflow }}
+  # github.ref is the base branch for pull_request_target, so use the PR number
+  group: ${{ github.repository }}-${{ github.event.pull_request.number }}-${{ github.workflow }}
   cancel-in-progress: true
 
 permissions: