From aec10481c158987736cfd9d8c6ef90a26c5af08c Mon Sep 17 00:00:00 2001 From: Olaoluwa Osuntokun Date: Thu, 16 Feb 2023 14:59:53 -0800 Subject: [PATCH] build: use the new merge_group selector for the merge queue In this commit, we activate the merge queue by using the new merge_group selector. Without this, the CI won't report back the progress of a CI run to the merge queue, so things won't get auto merged. --- .github/workflows/main.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 49decf8d5..b5100dcd1 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -7,6 +7,9 @@ on: pull_request: branches: - "*" + merge_queue: + branches: + - "master" concurrency: # Cancel any previous workflows if they are from a PR or push.