diff options
Diffstat (limited to 'ci/script.sh')
| -rw-r--r-- | ci/script.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ci/script.sh b/ci/script.sh index 6b855024..af425da5 100644 --- a/ci/script.sh +++ b/ci/script.sh @@ -3,12 +3,12 @@ set -euxo pipefail main() { if [ $TARGET = x86_64-unknown-linux-gnu ]; then cargo build - cargo test --tests + cargo test --test cfail return fi xargo build --target $TARGET - xargo test --target $TARGET --examples + xargo check --target $TARGET --examples } main |