diff options
Diffstat (limited to 'ci/rust-linux-script.sh')
| -rwxr-xr-x | ci/rust-linux-script.sh | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/ci/rust-linux-script.sh b/ci/rust-linux-script.sh deleted file mode 100755 index d447cd8ea1..0000000000 --- a/ci/rust-linux-script.sh +++ /dev/null @@ -1,21 +0,0 @@ -set -eu -RUST_TOOLCHAIN_CHANNEL=$1 -RUSTFLAGS="--deny unused_imports --deny dead_code" - -source env.sh "" -rustup update $RUST_TOOLCHAIN_CHANNEL -rustup default $RUST_TOOLCHAIN_CHANNEL - -cargo build --verbose -cargo test --verbose -if [ "${RUST_TOOLCHAIN_CHANNEL}" = "nightly" ]; then - rustup component add rustfmt-preview; - 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 |
