diff options
Diffstat (limited to 'ci/script.sh')
-rwxr-xr-x | ci/script.sh | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/ci/script.sh b/ci/script.sh deleted file mode 100755 index cc4656ae..00000000 --- a/ci/script.sh +++ /dev/null @@ -1,16 +0,0 @@ -#!/bin/bash - -# Run clippy checks -if [ "$CLIPPY" == "true" ]; then - cargo clippy --all-targets - exit -fi - -# Run test in release mode if a tag is present, to produce an optimized binary -if [ -n "$TRAVIS_TAG" ]; then - # Build separately so we generate an 'alacritty' binary without -HASH appended - cargo build --release - cargo test --release -else - cargo test -fi |