Merge pull request #1583 from Kobzol/miri-remove-bors

Remove bors from miri
rust-lang · Oct 22, 2024 · bf50c36 · bf50c36
2 parents bd8c29e + de3422c
commit bf50c36
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/repos/rust-lang/miri.toml b/repos/rust-lang/miri.toml
@@ -1,11 +1,12 @@
 org = "rust-lang"
 name = "miri"
 description = "An interpreter for Rust's mid-level intermediate representation"
-bots = ["rustbot", "bors"]
+bots = ["rustbot"]
 
 [access.teams]
 compiler = "write"
 miri = "write"
 
 [[branch-protections]]
 pattern = "master"
+ci-checks = ["conclusion"]