Reject CI on failed mergify.io backports (#7927)

automerge

(cherry picked from commit 9bd6be779f)
This commit is contained in:
Michael Vines
2020-01-22 15:10:26 -07:00
parent bec1cf3145
commit 1f4ae4318b

View File

@ -10,6 +10,9 @@ source ci/rust-version.sh nightly
export RUST_BACKTRACE=1 export RUST_BACKTRACE=1
export RUSTFLAGS="-D warnings" export RUSTFLAGS="-D warnings"
# Look for failed mergify.io backports
_ git show HEAD --check --oneline
_ cargo +"$rust_stable" fmt --all -- --check _ cargo +"$rust_stable" fmt --all -- --check
# Clippy gets stuck for unknown reasons if sdk-c is included in the build, so check it separately. # Clippy gets stuck for unknown reasons if sdk-c is included in the build, so check it separately.