From 8b0cad359e3be3a40297b6395358cfcb9b581bd6 Mon Sep 17 00:00:00 2001
From: Andy Seaborne <andy@apache.org>
Date: Sun, 10 May 2026 14:20:47 +0100
Subject: [PATCH] Launch workflow when a PR is synchronized. Limit to one
 running job.

---
 .github/workflows/pr.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
index 158bed7eaeb..c3a578317a1 100644
--- a/.github/workflows/pr.yml
+++ b/.github/workflows/pr.yml
@@ -6,10 +6,15 @@ on:
   pull_request:
     types:
       - opened
+      - synchonized
       - reopened
     branches:
       - 'main'
       
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+  
 permissions:
   contents: read