Searched refs:miri_nightly (Results 1 – 1 of 1) sorted by relevance
56 …let miri_nightly= cmd!(sh, "curl -s https://rust-lang.github.io/rustup-components-history/x86_64-u… in main() localVariable57 let _e = push_toolchain(&sh, &format!("nightly-{}", miri_nightly))?; in main()