Enable the GitHub merge queue (#539)

This commit is contained in:
Martin Robinson 2023-07-11 11:15:36 +02:00 committed by GitHub
parent 21ec6fa933
commit 4ff23e665b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 3 deletions

View File

@ -2,8 +2,10 @@ name: CI
on: on:
push: push:
branches: ['master', 'auto'] branches: ['master']
pull_request: pull_request:
merge_group:
types: [checks_requested]
jobs: jobs:
Test: Test:
@ -41,7 +43,7 @@ jobs:
run: cargo test run: cargo test
build_result: build_result:
name: homu build finished name: Result
runs-on: ubuntu-latest runs-on: ubuntu-latest
needs: needs:
- "Test" - "Test"