Skip to content

internal: Update rustc_abi dependency #15691

New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom
Merged
merged 1 commit into from
Oct 15, 2023
Merged

internal: Update rustc_abi dependency #15691

merged 1 commit into from
Oct 15, 2023

Conversation

Veykril
Copy link
Member

@Veykril Veykril commented Sep 29, 2023

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Sep 29, 2023
@Veykril Veykril marked this pull request as ready for review October 15, 2023 16:58
@Veykril
Copy link
Member Author

Veykril commented Oct 15, 2023

@bors r+

@bors
Copy link
Contributor

bors commented Oct 15, 2023

📌 Commit 40acc52 has been approved by Veykril

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Oct 15, 2023

⌛ Testing commit 40acc52 with merge 6572ec8...

@bors
Copy link
Contributor

bors commented Oct 15, 2023

☀️ Test successful - checks-actions
Approved by: Veykril
Pushing 6572ec8 to master...

@bors bors merged commit 6572ec8 into rust-lang:master Oct 15, 2023
@Veykril Veykril deleted the rustc_abi branch October 15, 2023 17:20
@lnicola lnicola changed the title Update rustc_abi dependency internal: Update rustc_abi dependency Oct 15, 2023
@lnicola lnicola mentioned this pull request Oct 18, 2023
Closed
# for free to join this conversation on GitHub. Already have an account? # 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
@Veykril @bors @rustbot