Merge queue improvements (#619)

* Never cancel merge group events * Do not run the push triggers on gh-readonly-queue branches
humanode-network · Mar 29, 2023 · 90c6853 · 90c6853
1 parent c5e4965
commit 90c6853
Show file tree

Hide file tree

Showing 4 changed files with 11 additions and 4 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -17,7 +17,7 @@ env:
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref || github.run_id }}
-  cancel-in-progress: ${{ github.ref != 'refs/heads/master' }}
+  cancel-in-progress: ${{ github.ref != 'refs/heads/master' && github.event_name != 'merge_group' }}
 
 jobs:
 

diff --git a/.github/workflows/code.yml b/.github/workflows/code.yml
@@ -2,13 +2,16 @@ name: code
 
 on:
   push:
+    branches:
+      - '**'
+      - '!gh-readonly-queue/**'
   merge_group:
   schedule:
     - cron: '0 20 * * 0'
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref || github.run_id }}
-  cancel-in-progress: ${{ github.ref != 'refs/heads/master' }}
+  cancel-in-progress: ${{ github.ref != 'refs/heads/master' && github.event_name != 'merge_group' }}
 
 defaults:
   run:

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
@@ -4,13 +4,14 @@ on:
   push:
     branches:
       - '**'
+      - '!gh-readonly-queue/**'
     tags:
       - 'v*.*.*'
   merge_group:
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref || github.run_id }}
-  cancel-in-progress: ${{ github.ref != 'refs/heads/master' }}
+  cancel-in-progress: ${{ github.ref != 'refs/heads/master' && github.event_name != 'merge_group' }}
 
 jobs:
 

diff --git a/.github/workflows/toml.yml b/.github/workflows/toml.yml
@@ -2,13 +2,16 @@ name: toml
 
 on:
   push:
+    branches:
+      - '**'
+      - '!gh-readonly-queue/**'
   merge_group:
   schedule:
     - cron: '0 20 * * 0'
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref || github.run_id }}
-  cancel-in-progress: ${{ github.ref != 'refs/heads/master' }}
+  cancel-in-progress: ${{ github.ref != 'refs/heads/master' && github.event_name != 'merge_group' }}
 
 jobs: