- Cargofmt, rustfmt, "src/tools/rustfmt", "cargo-fmt", {};
- CargoClippy, clippy, "src/tools/clippy", "cargo-clippy", {};
- Clippy, clippy, "src/tools/clippy", "clippy-driver", {};
- Miri, miri, "src/tools/miri", "miri", {};
- CargoMiri, miri, "src/tools/miri/cargo-miri", "cargo-miri", {};
- 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, {};
+ CargoMiri, miri, "src/tools/miri/cargo-miri", "cargo-miri", stable=false, {};
+ Rls, rls, "src/tools/rls", "rls", stable=true, {