diff --git a/ci/script.sh b/ci/script.sh index 0c48f8d1820d0a400ae85bf57f2f5daf1fdd0974..9c79da9260f53adcef414ccb146e29799ddd0224 100644 --- a/ci/script.sh +++ b/ci/script.sh @@ -2,11 +2,11 @@ set -euxo pipefail main() { if [ $TARGET = x86_64-unknown-linux-gnu ]; then - cargo build --target $TARGET + cargo check --target $TARGET return fi - xargo build --target $TARGET + xargo check --target $TARGET xargo test --target $TARGET --examples }