diff options
| -rw-r--r-- | src/tools/toolstate.toml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/toolstate.toml b/src/tools/toolstate.toml index f5e96e3f56b..b03e4f05641 100644 --- a/src/tools/toolstate.toml +++ b/src/tools/toolstate.toml @@ -3,7 +3,7 @@ # # There are three states a tool can be in: # 1. Broken: The tool doesn't build -# 2. Building: The tool builds but its tests are failing +# 2. Compiling: The tool builds but its tests are failing # 3. Testing: The tool builds and its tests are passing # # In the future there will be further states like "Distributing", which @@ -26,7 +26,7 @@ miri = "Broken" # ping @Manishearth @llogiq @mcarton @oli-obk -clippy = "Building" +clippy = "Compiling" # ping @nrc rls = "Testing" |