Skip to content

Conversation

RalfJung
Copy link
Member

This adds a Miri-side test for rust-lang/rust#72760.

Blocked on rust-lang/rust#72683.

@RalfJung RalfJung added the S-blocked-on-rust Status: Blocked on landing a Rust PR label May 30, 2020
@RalfJung
Copy link
Member Author

@bors r+

@bors
Copy link
Contributor

bors commented May 31, 2020

📌 Commit 7cd68eb has been approved by RalfJung

@bors
Copy link
Contributor

bors commented May 31, 2020

⌛ Testing commit 7cd68eb with merge a8df047...

@bors
Copy link
Contributor

bors commented Jun 1, 2020

☀️ Test successful - checks-travis, status-appveyor
Approved by: RalfJung
Pushing a8df047 to master...

@bors bors merged commit a8df047 into rust-lang:master Jun 1, 2020
@RalfJung RalfJung deleted the wtf8 branch June 1, 2020 06:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-blocked-on-rust Status: Blocked on landing a Rust PR
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants