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.
14 lines
289 B
Bash
14 lines
289 B
Bash
#!/bin/bash
|
|
|
|
cargo miri test --no-default-features --features serde
|
|
|
|
cargo miri test --no-default-features --features alloc,serde
|
|
|
|
cargo miri test
|
|
|
|
# 32-bit target
|
|
cargo miri test --target sparc-unknown-linux-gnu
|
|
|
|
# Big-endian target
|
|
cargo miri test --target mips64-unknown-linux-gnuabi64
|