Skip to content

Conversation

@RalfJung
Copy link
Member

@RalfJung RalfJung commented Aug 6, 2022

Effectively reverts #2018.
Needs rust-lang/rust#100206 to not be terribly slow.
Fixes #2292.

@RalfJung RalfJung added the S-blocked-on-rust Status: Blocked on landing a Rust PR label Aug 6, 2022
@RalfJung
Copy link
Member Author

RalfJung commented Aug 8, 2022

@bors r+

@bors
Copy link
Contributor

bors commented Aug 8, 2022

📌 Commit 5ead47e has been approved by RalfJung

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Aug 8, 2022

⌛ Testing commit 5ead47e with merge 654e15b...

@bors
Copy link
Contributor

bors commented Aug 8, 2022

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing 654e15b to master...

@bors bors merged commit 654e15b into rust-lang:master Aug 8, 2022
@RalfJung RalfJung deleted the term branch August 8, 2022 14:41
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.

libtest output is not colored

2 participants