diff options
| m--------- | src/tools/clippy | 25 | ||||
| -rw-r--r-- | src/tools/toolstate.toml | 2 |
2 files changed, 8 insertions, 19 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject 1f6e2a63d89e485df6a3ee9df3e8ffbfddf2633 +Subproject 0155ecf6b077bf8d5b333662059d78533e5b2ac diff --git a/src/tools/toolstate.toml b/src/tools/toolstate.toml index f1684f4c5ac..744a0f96ad7 100644 --- a/src/tools/toolstate.toml +++ b/src/tools/toolstate.toml @@ -26,7 +26,7 @@ miri = "Broken" # ping @Manishearth @llogiq @mcarton @oli-obk -clippy = "Broken" +clippy = "Testing" # ping @nrc rls = "Testing" |