From f5d41c37afa2bb42cd34ca9bc8bf7e38527add67 Mon Sep 17 00:00:00 2001 From: Alex Kladov Date: Sun, 18 Jun 2023 12:46:02 +0100 Subject: [PATCH] switch to merge queue from bors --- .github/workflows/ci.yaml | 3 ++- bors.toml | 2 -- 2 files changed, 2 insertions(+), 3 deletions(-) delete mode 100644 bors.toml diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 7967bb9..b71581c 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -1,8 +1,9 @@ name: CI on: pull_request: + merge_group: push: - branches: ["master", "staging", "trying"] + branches: ["master"] env: CARGO_INCREMENTAL: 0 diff --git a/bors.toml b/bors.toml deleted file mode 100644 index b92b99a..0000000 --- a/bors.toml +++ /dev/null @@ -1,2 +0,0 @@ -status = [ "Rust" ] -delete_merged_branches = true