Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

internal: Update rustc dependencies #15849

Merged
merged 1 commit into from
Nov 7, 2023
Merged

internal: Update rustc dependencies #15849

merged 1 commit into from
Nov 7, 2023

Conversation

HKalbasi
Copy link
Member

@HKalbasi HKalbasi commented Nov 7, 2023

Except rustc_parse_format that was broken by upstream.

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Nov 7, 2023
@HKalbasi
Copy link
Member Author

HKalbasi commented Nov 7, 2023

@bors r+

@bors
Copy link
Contributor

bors commented Nov 7, 2023

📌 Commit 1086b29 has been approved by HKalbasi

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Nov 7, 2023

⌛ Testing commit 1086b29 with merge 3b7c7f9...

@bors
Copy link
Contributor

bors commented Nov 7, 2023

☀️ Test successful - checks-actions
Approved by: HKalbasi
Pushing 3b7c7f9 to master...

@bors bors merged commit 3b7c7f9 into rust-lang:master Nov 7, 2023
10 checks passed
@HKalbasi HKalbasi mentioned this pull request Nov 7, 2023
Closed
@lnicola lnicola changed the title Update rustc dependencies internal: Update rustc dependencies Nov 8, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@HKalbasi @bors @rustbot