From 8065502596a371f738fda70d3041f8bc9afe807f Mon Sep 17 00:00:00 2001 From: Dario Nieuwenhuis Date: Mon, 5 Jun 2023 19:23:49 +0200 Subject: [PATCH] Switch from bors to github merge queue. --- .github/bors.toml | 6 ------ .github/workflows/coverage.yml | 3 +-- .github/workflows/fuzz.yml | 3 +-- .github/workflows/rustfmt.yaml | 3 +-- .github/workflows/test.yml | 3 +-- 5 files changed, 4 insertions(+), 14 deletions(-) delete mode 100644 .github/bors.toml diff --git a/.github/bors.toml b/.github/bors.toml deleted file mode 100644 index 24c01918..00000000 --- a/.github/bors.toml +++ /dev/null @@ -1,6 +0,0 @@ -status = [ - "tests", - "fuzz", - "clippy", - "fmt", -] diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index 79056061..1d03357b 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -1,7 +1,6 @@ on: - push: - branches: [staging, trying] pull_request: + merge_group: name: Coverage diff --git a/.github/workflows/fuzz.yml b/.github/workflows/fuzz.yml index 60113b48..e7a787af 100644 --- a/.github/workflows/fuzz.yml +++ b/.github/workflows/fuzz.yml @@ -1,7 +1,6 @@ on: - push: - branches: [ staging, trying ] pull_request: + merge_group: name: Fuzz diff --git a/.github/workflows/rustfmt.yaml b/.github/workflows/rustfmt.yaml index edf3ae96..107164af 100644 --- a/.github/workflows/rustfmt.yaml +++ b/.github/workflows/rustfmt.yaml @@ -1,7 +1,6 @@ on: - push: - branches: [ staging, trying ] pull_request: + merge_group: name: Rustfmt check jobs: diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index ba342127..ee6774c9 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -1,7 +1,6 @@ on: - push: - branches: [staging, trying] pull_request: + merge_group: name: Test