Toolstate: don't duplicate nightly tool list.
This commit is contained in:
parent
18c275b423
commit
fdc14cb0b0
1 changed files with 1 additions and 1 deletions
|
|
@ -443,7 +443,7 @@ fn change_toolstate(
|
|||
if new_state != state {
|
||||
eprintln!("The state of `{}` has changed from `{}` to `{}`", tool, state, new_state);
|
||||
if new_state < state {
|
||||
if !["rustc-guide", "miri", "embedded-book"].contains(&tool.as_str()) {
|
||||
if !NIGHTLY_TOOLS.iter().any(|(name, _path)| name == tool) {
|
||||
regressed = true;
|
||||
}
|
||||
}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue