Searched refs:MIRI_NIGHTLY (Results 1 – 3 of 3) sorted by relevance
4 MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown…5 echo "Installing latest nightly with Miri: $MIRI_NIGHTLY"6 rustup default "$MIRI_NIGHTLY"
4 MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown…5 echo "Installing latest nightly with Miri: $MIRI_NIGHTLY"7 rustup default "$MIRI_NIGHTLY"
12 MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown…13 echo "Installing latest nightly with Miri: $MIRI_NIGHTLY"14 rustup default "$MIRI_NIGHTLY"