From 9a312d048d21768192cf50a3ffb27d8e77a6cd75 Mon Sep 17 00:00:00 2001 From: Daniel Sinclair Date: Fri, 4 Aug 2023 15:04:45 -0400 Subject: [PATCH] ci: turn on merge_group for merge queues in CI workflow (#784) Co-authored-by: Bruno Barbieri <1247834+brunobar79@users.noreply.github.com> --- .github/workflows/build.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index b441c829cf..8e81f28bbc 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -3,6 +3,7 @@ name: CI on: pull_request: + merge_group: push: branches: [master] workflow_dispatch: