CI: support merge queue

leanprover-community · Oct 1, 2024 · 825bf9c · 825bf9c
1 parent 50aaaf7
commit 825bf9c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -3,6 +3,7 @@ name: Build
 on:
   pull_request:
   push:
+  merge_queue:
 
 jobs:
   build: