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.
17 lines
363 B
Bash
17 lines
363 B
Bash
#!/bin/bash
|
|
set -e
|
|
set -o pipefail
|
|
|
|
TEST_RUNS=(
|
|
'--no-default-features --features serde'
|
|
'--no-default-features --features alloc,serde'
|
|
'--features serde'
|
|
'--target sparc-unknown-linux-gnu --features serde'
|
|
'--target mips64-unknown-linux-gnuabi64 --features serde'
|
|
)
|
|
|
|
for FLAGS in "${TEST_RUNS[@]}"
|
|
do
|
|
cargo +nightly miri test $FLAGS
|
|
done
|