From 3610adde75fb108e44e19d971cb3cae2389cedfd Mon Sep 17 00:00:00 2001 From: Martin Robinson Date: Tue, 11 Jul 2023 11:16:28 +0200 Subject: [PATCH] Enable the GitHub merge queue --- .github/workflows/main.yml | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 6b8f1460..47282234 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -2,10 +2,12 @@ name: CI on: push: - branches: [auto] + branches: [master] pull_request: workflow_dispatch: - + merge_group: + types: [checks_requested] + jobs: linux-ci: name: Linux @@ -49,7 +51,7 @@ jobs: working-directory: macros build_result: - name: homu build finished + name: Result runs-on: ubuntu-latest needs: - "linux-ci"