Marking the tools as broken
This commit is contained in:
parent
693687187e
commit
60bff8ce93
1 changed files with 3 additions and 3 deletions
|
|
@ -26,10 +26,10 @@
|
|||
miri = "Broken"
|
||||
|
||||
# ping @Manishearth @llogiq @mcarton @oli-obk
|
||||
clippy = "Compiling"
|
||||
clippy = "Broken"
|
||||
|
||||
# ping @nrc
|
||||
rls = "Testing"
|
||||
rls = "Broken"
|
||||
|
||||
# ping @nrc
|
||||
rustfmt = "Testing"
|
||||
rustfmt = "Broken"
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue