-
Notifications
You must be signed in to change notification settings - Fork 46
Updating miri
Will Crichton edited this page Aug 28, 2023
·
2 revisions
When nightly changes, we have to pick a commit for miri that matches rustc. This is my hacky process:
- Get the rustc commit hash by running
rustc -vV - Go to
https://github.com/rust-lang/rust/commits/<COMMITHASH>/src/tools/miri - Look at the text of the most recent commit.
- Go to the miri commit history: https://github.com/rust-lang/miri/commits/master
- Find the commit with the same text. Copy its sha as the new rev for miri.