Merge pull request #119 from NoRedInk/use-merge-queue

Trigger CI for merge queue attempts
NoRedInk · Oct 21, 2024 · 504059f · 504059f
2 parents 060b715 + 87ed92d
commit 504059f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -6,6 +6,7 @@ on:
  push:
  branches:
  - "trunk"
+ merge_group:
 
  # We also provide a way to run this manually, if needed.
  workflow_dispatch: