tokio-rs/bytes
1
0
Fork 0
mirror of https://github.com/tokio-rs/bytes.git synced 2026-08-25 00:00:22 +02:00
Code Issues Packages Projects Releases Wiki Activity

update Miri CI config (#534)

Browse Source
This commit is contained in:
Ralf Jung
2022-03-09 10:29:04 +01:00
committed by GitHub
parent 131dae161f
commit 88f5e12350
1 changed files with 3 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
ci/miri.sh
+3 -5
View File
@@ -1,11 +1,9 @@
#!/bin/bash #!/bin/bash
set -e set -e
MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri) rustup toolchain install nightly --component miri
echo "Installing latest nightly with Miri: $MIRI_NIGHTLY" rustup override set nightly
rustup set profile minimal cargo miri setup
rustup default "$MIRI_NIGHTLY"
rustup component add miri
cargo miri test cargo miri test
cargo miri test --target mips64-unknown-linux-gnuabi64 cargo miri test --target mips64-unknown-linux-gnuabi64