Skip to content

Commit de3422c

Browse files
committed
Remove bors from miri
1 parent 2988a65 commit de3422c

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

repos/rust-lang/miri.toml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,12 @@
11
org = "rust-lang"
22
name = "miri"
33
description = "An interpreter for Rust's mid-level intermediate representation"
4-
bots = ["rustbot", "bors"]
4+
bots = ["rustbot"]
55

66
[access.teams]
77
compiler = "write"
88
miri = "write"
99

1010
[[branch-protections]]
1111
pattern = "master"
12+
ci-checks = ["conclusion"]

0 commit comments

Comments
 (0)