From 397df185dbc62ebc2e3cb37cf214eabc640a4d67 Mon Sep 17 00:00:00 2001
From: Joseph Ferguson <yosifkit@gmail.com>
Date: Tue, 7 Jan 2025 15:13:12 -0800
Subject: [PATCH] Adjust Munge PR action to prevent comment hide/post race

also change group for the test-pr so that they won't conflict
---
 .github/workflows/munge-pr.yml | 6 ++++++
 .github/workflows/test-pr.yml  | 2 +-
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/munge-pr.yml b/.github/workflows/munge-pr.yml
index 3f4662dbf..b0bb15897 100644
--- a/.github/workflows/munge-pr.yml
+++ b/.github/workflows/munge-pr.yml
@@ -15,6 +15,12 @@ env:
   # https://github.com/docker-library/bashbrew/issues/10
   GIT_LFS_SKIP_SMUDGE: 1
 
+# limit to one run at a time per pull request
+# no cancel-in-progress so that the running diff comment can finish before the next since the old diff could be helpful for review
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: false
+
 jobs:
 
   gather:
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
index eab8359f4..f38469b81 100644
--- a/.github/workflows/test-pr.yml
+++ b/.github/workflows/test-pr.yml
@@ -13,7 +13,7 @@ env:
   
 # cancel existing runs if user makes another push
 concurrency:
-  group: ${{ github.ref }}
+  group: ${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: ${{ github.event_name == 'pull_request' }}
 
 permissions: