Skip to content

Conversation

workingjubilee
Copy link
Member

@RalfJung
Copy link
Member

Thanks!

The file rust-version also needs to be updated with the git sha of the rustc version this is expected to work against.

@RalfJung
Copy link
Member

@bors r+

@bors
Copy link
Contributor

bors commented Mar 14, 2022

📌 Commit 61bfa8a has been approved by RalfJung

@bors
Copy link
Contributor

bors commented Mar 14, 2022

⌛ Testing commit 61bfa8a with merge 7bc0c98...

@bors
Copy link
Contributor

bors commented Mar 14, 2022

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing 7bc0c98 to master...

@bors bors merged commit 7bc0c98 into rust-lang:master Mar 14, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

miri no longer builds after rust-lang/rust#94899
3 participants