diff --git a/repos/rust-lang/miri.toml b/repos/rust-lang/miri.toml index 99808c97d..8996a91de 100644 --- a/repos/rust-lang/miri.toml +++ b/repos/rust-lang/miri.toml @@ -1,7 +1,7 @@ org = "rust-lang" name = "miri" description = "An interpreter for Rust's mid-level intermediate representation" -bots = ["rustbot", "bors"] +bots = ["rustbot"] [access.teams] compiler = "write" @@ -9,3 +9,4 @@ miri = "write" [[branch-protections]] pattern = "master" +ci-checks = ["conclusion"]