diff --git a/.github/bors.toml b/.github/bors.toml deleted file mode 100644 index dfe28aba..00000000 --- a/.github/bors.toml +++ /dev/null @@ -1,7 +0,0 @@ -delete_merged_branches = true -required_approvals = 0 -use_codeowners = false -status = [ - "conclusion", -] -timeout_sec = 21600 \ No newline at end of file diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index eb045d1e..84f8e7f3 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -4,10 +4,6 @@ on: push: branches: - main - # for bors r+ - - staging - # for bors try - - trying pull_request: merge_group: types: [checks_requested]