Skip to content

Conversation

RalfJung
Copy link
Member

@RalfJung RalfJung commented Mar 4, 2024

No description provided.

@RalfJung
Copy link
Member Author

RalfJung commented Mar 4, 2024

@bors r+

@bors
Copy link
Contributor

bors commented Mar 4, 2024

📌 Commit a2dbebb has been approved by RalfJung

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Mar 4, 2024

⌛ Testing commit a2dbebb with merge 2629f7f...

bors added a commit that referenced this pull request Mar 4, 2024
reorder rustc crate imports a bit
@bors
Copy link
Contributor

bors commented Mar 4, 2024

💔 Test failed - checks-actions

@RalfJung
Copy link
Member Author

RalfJung commented Mar 4, 2024

@bors retry

@bors
Copy link
Contributor

bors commented Mar 4, 2024

⌛ Testing commit a2dbebb with merge 2de7bc5...

@bors
Copy link
Contributor

bors commented Mar 4, 2024

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing 2de7bc5 to master...

@bors bors merged commit 2de7bc5 into rust-lang:master Mar 4, 2024
@RalfJung RalfJung deleted the imports branch March 4, 2024 19:04
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.

2 participants