summaryrefslogtreecommitdiff
path: root/ci/script.sh
diff options
context:
space:
mode:
Diffstat (limited to 'ci/script.sh')
-rwxr-xr-xci/script.sh16
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