Mark miri as broken.
This commit is contained in:
parent
7dc79cc49b
commit
799a83ca2f
|
@ -23,7 +23,7 @@
|
||||||
# Each tool has a list of people to ping
|
# Each tool has a list of people to ping
|
||||||
|
|
||||||
# ping @oli-obk @RalfJung @eddyb
|
# ping @oli-obk @RalfJung @eddyb
|
||||||
miri = "Testing"
|
miri = "Broken"
|
||||||
|
|
||||||
# ping @Manishearth @llogiq @mcarton @oli-obk
|
# ping @Manishearth @llogiq @mcarton @oli-obk
|
||||||
clippy = "Testing"
|
clippy = "Testing"
|
||||||
|
|
Loading…
Reference in New Issue