merge queue fixes (#1216)

privacy-scaling-explorations · Feb 16, 2023 · 26ed1fd · 26ed1fd
1 parent 7fd693c
commit 26ed1fd
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,6 +1,7 @@
 name: CI checks
 
 on:
+  merge_group:
   pull_request:
     types: [synchronize, opened, reopened, ready_for_review]
   push:

diff --git a/.github/workflows/lints.yml b/.github/workflows/lints.yml
@@ -2,6 +2,7 @@ name: Lints
 
 # We only run these lints on trial-merges of PRs to reduce noise.
 on:
+  merge_group:
   pull_request:
     types: [synchronize, opened, reopened, ready_for_review]
   push: