소스 검색

Adjust Munge PR action to prevent comment hide/post race

also change group for the test-pr so that they won't conflict
Joseph Ferguson 10 달 전
부모
커밋
397df185db
2개의 변경된 파일7개의 추가작업 그리고 1개의 파일을 삭제
  1. 6 0
      .github/workflows/munge-pr.yml
  2. 1 1
      .github/workflows/test-pr.yml

+ 6 - 0
.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:

+ 1 - 1
.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: