-
Notifications
You must be signed in to change notification settings - Fork 360
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
cargo miri setup
is failing due to rustc-std-workspace-alloc
#713
Comments
Just like with the |
cargo miri setup
is failing due to rustc-std-workspace-alloc
Blocked on japaric/xargo#240 |
This was referenced Apr 27, 2019
As a temporary work-around, miri now installs my fork of xargo that has this issue fixed. Still keeping the issue open though to track removing that work-around. |
bors
added a commit
to rust-lang/hashbrown
that referenced
this issue
May 6, 2019
skip Miri tests if the setup fails Currently we are in a situation where Miri can be installed but `cargo miri setup` fails (due to rust-lang/miri#713). That should not lead to hashbrown's CI failing. Cc @gnzlbg
This has been fixed by a new xargo release. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
https://travis-ci.com/rust-lang/miri/jobs/195147193
I have no idea how to fix this right now.
The text was updated successfully, but these errors were encountered: