OpenE2K
/
rust
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Block beta if clippy breaks. 

Don't fail master pull request when an unrelated tool is not test-pass.
This commit is contained in:
kennytm 2018-07-17 05:35:19 +08:00
parent 50702b2838
commit a9bcbb27b8
No known key found for this signature in database
GPG Key ID: FEF6C8051D0E013C
1 changed files with 9 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/ci/docker/x86_64-gnu-tools/checktools.sh
View File

@ -81,8 +81,8 @@ status_check() {
check_dispatch $1 beta rust-by-example src/doc/rust-by-example check_dispatch $1 beta rust-by-example src/doc/rust-by-example
check_dispatch $1 beta rls src/tools/rls check_dispatch $1 beta rls src/tools/rls
check_dispatch $1 beta rustfmt src/tools/rustfmt check_dispatch $1 beta rustfmt src/tools/rustfmt
check_dispatch $1 beta clippy-driver src/tools/clippy
# these tools are not required for beta to successfully branch # these tools are not required for beta to successfully branch
check_dispatch $1 nightly clippy-driver src/tools/clippy
check_dispatch $1 nightly miri src/tools/miri check_dispatch $1 nightly miri src/tools/miri
} }
@ -106,12 +106,14 @@ $COMMIT\t$(cat "$TOOLSTATE_FILE")
fi fi
} }
if [ "$RUST_RELEASE_CHANNEL" = nightly -a -n "${TOOLSTATE_REPO_ACCESS_TOKEN+is_set}" ]; then if [ "$RUST_RELEASE_CHANNEL" = nightly ]; then
. "$(dirname $0)/repo.sh" if [ -n "${TOOLSTATE_REPO_ACCESS_TOKEN+is_set}" ]; then
MESSAGE_FILE=$(mktemp -t msg.XXXXXX) . "$(dirname $0)/repo.sh"
echo "($OS CI update)" > "$MESSAGE_FILE" MESSAGE_FILE=$(mktemp -t msg.XXXXXX)
commit_toolstate_change "$MESSAGE_FILE" change_toolstate echo "($OS CI update)" > "$MESSAGE_FILE"
rm -f "$MESSAGE_FILE" commit_toolstate_change "$MESSAGE_FILE" change_toolstate
rm -f "$MESSAGE_FILE"
fi
exit 0 exit 0
fi fi