From 4ff23e665b3a9ca6310d90e3a225652d7be0a604 Mon Sep 17 00:00:00 2001 From: Martin Robinson Date: Tue, 11 Jul 2023 11:15:36 +0200 Subject: [PATCH] Enable the GitHub merge queue (#539) --- .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 a760c146..36a60d81 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -2,9 +2,11 @@ name: CI on: push: - branches: ['master', 'auto'] + branches: ['master'] pull_request: - + merge_group: + types: [checks_requested] + jobs: Test: runs-on: ubuntu-latest @@ -41,7 +43,7 @@ jobs: run: cargo test build_result: - name: homu build finished + name: Result runs-on: ubuntu-latest needs: - "Test"