From 1ab6f39c849fe191992257622ea03618d76b3464 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Orhun=20Parmaks=C4=B1z?= Date: Fri, 28 Apr 2023 14:47:37 +0300 Subject: [PATCH] chore(github): integrate bors --- .github/bors.toml | 13 +++++++++++++ .github/workflows/ci.yml | 6 +++--- 2 files changed, 16 insertions(+), 3 deletions(-) create mode 100644 .github/bors.toml diff --git a/.github/bors.toml b/.github/bors.toml new file mode 100644 index 0000000000..ec140c2315 --- /dev/null +++ b/.github/bors.toml @@ -0,0 +1,13 @@ +status = [ + "Check", + "Lints", + "Formatting", + "Test suite", + "Audit check", + "Links", + "Check Rust version", +] +delete_merged_branches = true +update_base_for_deletes = true +cut_body_after = "
" +commit_title = "chore(pull): merge ${PR_REFS}" diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index df2711efc0..eb1d0665bb 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,12 +1,12 @@ name: Continuous Integration on: - push: - branches: - - main pull_request: + push: branches: - main + - staging # for bors + - trying # for bors schedule: - cron: "0 0 * * 0"