don't fail builds for rustc-guide
This commit is contained in:
parent
0fdf24bcf3
commit
97b4156398
2 changed files with 5 additions and 2 deletions
|
|
@ -4,6 +4,9 @@
|
|||
import sys
|
||||
import json
|
||||
|
||||
# Regressions for these tools does not cause failure
|
||||
REGRESSION_OK = ["rustc-guide"]
|
||||
|
||||
if __name__ == '__main__':
|
||||
os_name = sys.argv[1]
|
||||
toolstate_file = sys.argv[2]
|
||||
|
|
@ -32,7 +35,8 @@ if __name__ == '__main__':
|
|||
'The state of "{}" has {} from "{}" to "{}"'
|
||||
.format(tool, verb, state, new_state)
|
||||
)
|
||||
regressed = True
|
||||
if tool not in REGRESSION_OK:
|
||||
regressed = True
|
||||
|
||||
if regressed:
|
||||
sys.exit(1)
|
||||
|
|
|
|||
|
|
@ -89,7 +89,6 @@ status_check() {
|
|||
# these tools are not required for beta to successfully branch
|
||||
check_dispatch $1 nightly miri src/tools/miri
|
||||
check_dispatch $1 nightly embedded-book src/doc/embedded-book
|
||||
check_dispatch $1 nightly rustc-guide src/doc/rustc-guide
|
||||
}
|
||||
|
||||
# If this PR is intended to update one of these tools, do not let the build pass
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue