- Rls, rls, "src/tools/rls", "rls", {
+ Cargofmt, rustfmt, "src/tools/rustfmt", "cargo-fmt", stable=true, {};
+ CargoClippy, clippy, "src/tools/clippy", "cargo-clippy", stable=true, {};
+ Clippy, clippy, "src/tools/clippy", "clippy-driver", stable=true, {};
+ Miri, miri, "src/tools/miri", "miri", stable=false, {};
- Rls, rls, "src/tools/rls", "rls", {
+ Cargofmt, rustfmt, "src/tools/rustfmt", "cargo-fmt", stable=true, {};
+ CargoClippy, clippy, "src/tools/clippy", "cargo-clippy", stable=true, {};
+ Clippy, clippy, "src/tools/clippy", "clippy-driver", stable=true, {};
+ Miri, miri, "src/tools/miri", "miri", stable=false, {};