From 20eb27ed92a11d41f00f27311cf1f6c19f0f540d Mon Sep 17 00:00:00 2001 From: Oliver Schneider Date: Thu, 16 Nov 2017 09:35:53 +0100 Subject: [PATCH] Reenable Clippy --- src/tools/clippy | 2 +- src/tools/toolstate.toml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/tools/clippy b/src/tools/clippy index 1f6e2a63d89..0155ecf6b07 160000 --- a/src/tools/clippy +++ b/src/tools/clippy @@ -1 +1 @@ -Subproject commit 1f6e2a63d89e485df6a3ee9df3e8ffbfddf26330 +Subproject commit 0155ecf6b077bf8d5b333662059d78533e5b2ac0 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"