diff options
| author | Manish Goregaokar <manishsmail@gmail.com> | 2017-10-29 05:27:34 -0400 |
|---|---|---|
| committer | Manish Goregaokar <manishsmail@gmail.com> | 2017-10-29 05:27:36 -0400 |
| commit | 84f1fc951dc0b80334d36e27ca408cb56c028e02 (patch) | |
| tree | 5e4f239f52ba9a71c1b3cf5211975edda09e4654 /src/tools | |
| parent | b2df63b3935b892f6d90c21ae272acfd29e7971c (diff) | |
Update clippy
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" |