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.
19 lines
456 B
Bash
19 lines
456 B
Bash
#!/bin/bash
|
|
set -e
|
|
set -o pipefail
|
|
|
|
# no_std and no alloc
|
|
cargo +nightly miri test --no-default-features --features serde
|
|
|
|
# no_std with alloc
|
|
cargo +nightly miri test --no-default-features --features alloc,serde
|
|
|
|
# std
|
|
cargo +nightly miri test --features serde
|
|
|
|
# 32-bit target
|
|
cargo +nightly miri test --target sparc-unknown-linux-gnu --features serde
|
|
|
|
# Big-endian target
|
|
cargo +nightly miri test --target mips64-unknown-linux-gnuabi64 --features serde
|