diff options
Diffstat (limited to 'src/tools')
| m--------- | src/tools/clippy | 13 | ||||
| -rw-r--r-- | src/tools/toolstate.toml | 2 |
2 files changed, 6 insertions, 9 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject 281bd790de7b992831a1ff8a589c0fc38c842c9 +Subproject f76225e3887170743403af9204887918b5db5a8 diff --git a/src/tools/toolstate.toml b/src/tools/toolstate.toml index 9dd420c1458..da4d26d78da 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 = "Compiling" # ping @nrc rls = "Broken" |