openharmony/third_party_rust_hashbrown
1
0
Fork 0
mirror of https://gitee.com/openharmony/third_party_rust_hashbrown synced 2024-11-23 04:49:45 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Auto merge of #314 - RalfJung:miri, r=Amanieu

Browse Source 
update Miri CI config

We don't need `curl` and https://rust-lang.github.io/rustup-components-history/ any more now that `rustup` can install "latest toolchain with certain tools".
This commit is contained in:
bors 2022-03-22 13:47:20 +00:00
commit 21bfd9aff7
1 changed files with 2 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
ci/miri.sh
View File

@ -5,11 +5,8 @@ set -ex
export CARGO_NET_RETRY=5
export CARGO_NET_TIMEOUT=10
MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri)
echo "Installing latest nightly with Miri: $MIRI_NIGHTLY"
rustup default "$MIRI_NIGHTLY"
rustup component add miri
rustup toolchain install nightly --component miri
rustup override set nightly
cargo miri setup
cargo miri test