From 4a2ff204eca7cceee1510f1e54f1d53fac9b7d41 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Orhun=20Parmaks=C4=B1z?= Date: Sun, 11 Jun 2023 22:28:17 +0200 Subject: [PATCH] chore(ci): enable merge queue for builds (#235) * chore(ci): enable merge queue for builds https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-a-merge-queue * style(ci): format the ci workflow --- .github/workflows/ci.yml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 01ffe168..70eeda57 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -5,6 +5,8 @@ on: pull_request: branches: - main + merge_group: + name: CI @@ -15,8 +17,8 @@ jobs: test: strategy: matrix: - os: [ubuntu-latest, windows-latest, macos-latest] - rust: ["1.65.0", "stable"] + os: [ ubuntu-latest, windows-latest, macos-latest ] + rust: [ "1.65.0", "stable" ] include: - os: ubuntu-latest triple: x86_64-unknown-linux-musl