From 4dda12d728440fc0cbad3d1bf380bd1b23b49bae Mon Sep 17 00:00:00 2001 From: Martin Robinson Date: Tue, 11 Jul 2023 10:44:38 +0200 Subject: [PATCH] Enable GitHub merge queue (#303) * Enable GitHub merge queue * Update main.yml --- .github/workflows/main.yml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 758022c..391443d 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -2,9 +2,11 @@ name: CI on: push: - branches: [auto] + branches: [master] pull_request: workflow_dispatch: + merge_group: + types: [checks_requested] jobs: ci: @@ -86,7 +88,7 @@ jobs: run: ./travis_fuzz.sh build_result: - name: homu build finished + name: Result runs-on: ubuntu-latest needs: - "ci"