diff options
Diffstat (limited to 'ci/rust-linux-script.sh')
| -rw-r--r-- | ci/rust-linux-script.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/ci/rust-linux-script.sh b/ci/rust-linux-script.sh index 2e05b76a97..d447cd8ea1 100644 --- a/ci/rust-linux-script.sh +++ b/ci/rust-linux-script.sh @@ -13,3 +13,9 @@ if [ "${RUST_TOOLCHAIN_CHANNEL}" = "nightly" ]; then rustfmt --version; cargo fmt -- --check --unstable-features; fi + +if ! git diff-index --quiet HEAD; then + echo "!!! Working directory is dirty !!!"; + git diff-index HEAD + exit 1; +fi |