Skip to content

Conversation

RalfJung
Copy link
Member

Let's see if landing just this works...

@RalfJung
Copy link
Member Author

@bors r+

@bors
Copy link
Contributor

bors commented Feb 25, 2022

📌 Commit ddd3e3c has been approved by RalfJung

bors added a commit that referenced this pull request Feb 25, 2022
rustup

Let's see if landing just this works...
@bors
Copy link
Contributor

bors commented Feb 25, 2022

⌛ Testing commit ddd3e3c with merge 3c18a0c...

@bors
Copy link
Contributor

bors commented Feb 25, 2022

💔 Test failed - checks-actions

@RalfJung
Copy link
Member Author

I tracked it down to this rollup: rust-lang/rust#94333.
Somehow something in that rollup leads to Miri complaining about UB in the test runner. I have no idea how.

@RalfJung
Copy link
Member Author

See #1985 for further comments

@RalfJung RalfJung closed this Feb 25, 2022
@RalfJung RalfJung deleted the rustup branch February 25, 2022 20:14
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants