Explorar el Código

Merge pull request #18202 from infosiftr/actions

Adjust Munge PR action to prevent comment hide/post race
Tianon Gravi hace 10 meses
padre
commit
f86507f3b1
Se han modificado 2 ficheros con 7 adiciones y 1 borrados
  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
   # https://github.com/docker-library/bashbrew/issues/10
   GIT_LFS_SKIP_SMUDGE: 1
   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:
 jobs:
 
 
   gather:
   gather:

+ 1 - 1
.github/workflows/test-pr.yml

@@ -13,7 +13,7 @@ env:
   
   
 # cancel existing runs if user makes another push
 # cancel existing runs if user makes another push
 concurrency:
 concurrency:
-  group: ${{ github.ref }}
+  group: ${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: ${{ github.event_name == 'pull_request' }}
   cancel-in-progress: ${{ github.event_name == 'pull_request' }}
 
 
 permissions:
 permissions: