diff options
| author | Linus Färnstrand <linus@mullvad.net> | 2019-07-01 15:50:09 +0200 |
|---|---|---|
| committer | Linus Färnstrand <linus@mullvad.net> | 2019-07-01 16:14:27 +0200 |
| commit | 7e6f80f4d7eeb1cb4ab9f706f0963b1b9d4f1b13 (patch) | |
| tree | 1f665b35114448c2c086822d940ef709eab13bbe /ci/rust-linux-script.sh | |
| parent | ef46a000a2a14216e8dab031df582b8f79dc4c0f (diff) | |
| download | mullvadvpn-7e6f80f4d7eeb1cb4ab9f706f0963b1b9d4f1b13.tar.xz mullvadvpn-7e6f80f4d7eeb1cb4ab9f706f0963b1b9d4f1b13.zip | |
Check if git working dir is dirty on CI and fail if it is
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 |