merge queue fixes

.github/workflows/ci.yml

@@ -1,6 +1,7 @@
 name: CI checks
 
 on:
+  merge_group:
   pull_request:
     types: [synchronize, opened, reopened, ready_for_review]
   push:

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