-
Notifications
You must be signed in to change notification settings - Fork 346
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 does not work with sccache #1421
Comments
The problem here is that sccache doesn't support using miri as compiler. It only checks for |
I don't think so. That is us overwriting I have no experience with sccache, so I am not sure if the better solution is to add "miri" as a rustc name in sccache, or to unset |
fatal error: Failed to run xargo
I proposed a fix in #1426. |
Thanks for mentioning! But currently it seems to break my CI completely. I believe this fix is going to fix what I've just described. Can share logs and whatever code is needed, but tomorrow. |
What is taking long is likely the actual evaluation -- as in, running the program. I don't think it makes any sense to cache that.^^
|
It seems if I set the |
Ah, sorry I missed this. It's usually better to open a new issue rather than commenting in an existing closed one. |
Must be related to #573
so in CI, where I use
sccache
everywhere by default it helps me toThe text was updated successfully, but these errors were encountered: