diff options
author | Orhun Parmaksız <orhunparmaksiz@gmail.com> | 2023-05-10 22:48:45 +0300 |
---|---|---|
committer | Orhun Parmaksız <orhunparmaksiz@gmail.com> | 2023-05-10 22:48:45 +0300 |
commit | 05da60c446b1720e5f05d436816dd9f30a6d2cba (patch) | |
tree | cb12e4e03838e0c7ce54a10be829422f89bd570f | |
parent | dbbf6cd345f9da4f9d4ae8e2277da900ea3f7a0f (diff) |
revert: Migrate from bors to GitHub merge queue
This reverts commit 05dfc320c13a0a6e5a7c81da9725873ce744607d.
Pull request merge queues are available in any public repository owned by an organization,
or in private repositories owned by organizations using GitHub Enterprise Cloud.
-rw-r--r-- | .github/bors.toml | 10 | ||||
-rw-r--r-- | .github/workflows/ci.yml | 3 |
2 files changed, 12 insertions, 1 deletions
diff --git a/.github/bors.toml b/.github/bors.toml new file mode 100644 index 0000000..362e468 --- /dev/null +++ b/.github/bors.toml @@ -0,0 +1,10 @@ +status = [ + "Build for x86_64-unknown-linux-gnu using Rust stable (on ubuntu-22.04)", + "Build for x86_64-unknown-linux-musl using Rust stable (on ubuntu-22.04)", + "Build for x86_64-unknown-linux-gnu using Rust nightly (on ubuntu-22.04)", + "Build for x86_64-unknown-linux-musl using Rust nightly (on ubuntu-22.04)", +] +delete_merged_branches = true +update_base_for_deletes = true +cut_body_after = "<details>" +commit_title = "chore: Merge ${PR_REFS}" diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index dabe6c8..eacfbbd 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -4,10 +4,11 @@ on: push: branches: - master + - staging # for bors + - trying # for bors pull_request: branches: - master - merge_group: schedule: - cron: "0 0 * * 0" |