-
Notifications
You must be signed in to change notification settings - Fork 12.7k
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
Bump Miri #65278
Bump Miri #65278
Conversation
(rust_highfive has picked a reviewer for you, use r? to override) |
|
r? @RalfJung |
Thanks! |
📌 Commit ab9cb70 has been approved by |
The job Click to expand the log.
I'm a bot! I can only do what humans tell me to, so if this was not helpful or you have suggestions for improvements, please ping or otherwise contact |
Oops, looks like something is wrong. @bors r- |
Ah, that's the panic issue @Aaron1011 mentioned. |
But why doesn't it trigger a toolstate failure...? It also works fine locally to run Miri against latest rustc master. |
@christianpoveda the only failing test is
Any idea what could be going on? See the build log for more details. |
My guess is that the working directory is not the same. You cannot rely on Does it work to use This is a critical bug; it prevents us from updating Miri in rustc. |
I can change the test to create the file in cwd instead. would that fix the problem? |
Hm, polluting the build dir isn't great either. |
Avoid using the tests folder for the file manipualtion test rust-lang/rust#65278 r? @RalfJung
@jonhoo could you update the Miri in here? The bug should be fixed upstream. |
@RalfJung done! |
Thanks! |
📌 Commit dbb73dc has been approved by |
The job Click to expand the log.
I'm a bot! I can only do what humans tell me to, so if this was not helpful or you have suggestions for improvements, please ping or otherwise contact |
That's odd, I have no idea why creating the file is failing. Is it there some restriction about creating files in the build directory or something? |
@bors r- Yeah might be a permission thing. |
Maybe we should use |
Oh wait, we have https://doc.rust-lang.org/nightly/std/env/fn.temp_dir.html, we don't need to copy anything. :) |
@jonhoo we are using a temporary dir in Miri now; could you bump Miri again? |
@RalfJung done |
Thanks! This time let's wait until CI here in the PR is green before bothering bors. @bors delegate+ Once CI is green, please do |
✌️ @jonhoo can now approve this pull request |
@bors r=RalfJung |
📌 Commit 397b679 has been approved by |
@jonhoo do you want me to take over? Might be easier if I do the update directly instead of asking you to do submodule bumps all the time.^^ Usually Miri updates work much smoother than this, but sometimes new things just keep coming up... this time, a combination of new filesystem tests and a libtest change (breaking Miri's test suite) and also #64823 makes for quite a bumpy update. |
Haha, that's probably easier! I'll close this and you open a new one? |
Thanks; new one is at #65412. |
Brings in rust-lang/miri#972 and other fixes