You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
16 lines
357 B
Bash
16 lines
357 B
Bash
#!/bin/bash
|
|
set -e
|
|
set -o pipefail
|
|
|
|
cargo +nightly miri test --no-default-features --features serde
|
|
|
|
cargo +nightly miri test --no-default-features --features alloc,serde
|
|
|
|
cargo +nightly miri test
|
|
|
|
# 32-bit target
|
|
cargo +nightly miri test --target sparc-unknown-linux-gnu
|
|
|
|
# Big-endian target
|
|
cargo +nightly miri test --target mips64-unknown-linux-gnuabi64
|