diff options
author | Orhun Parmaksız <orhunparmaksiz@gmail.com> | 2023-04-20 19:39:53 +0300 |
---|---|---|
committer | Orhun Parmaksız <orhunparmaksiz@gmail.com> | 2023-04-20 19:39:53 +0300 |
commit | f91941906e4bf9812ab2daa45f9fe13ce4e5e629 (patch) | |
tree | 54fd3141266628241b991972949ee215b5b23916 | |
parent | c0b0856dd92800338af8ede1a7306fe1aad7d009 (diff) |
chore: Integrate bors.tech
-rw-r--r-- | .github/bors.toml | 10 | ||||
-rw-r--r-- | .github/workflows/ci.yml | 2 |
2 files changed, 12 insertions, 0 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 ba2a6dc..411916c 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -4,6 +4,8 @@ on: push: branches: - master + - staging # for bors + - trying # for bors pull_request: branches: - master |