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: Deunwrap wrap_return_type_in_result #15430

Merged
merged 2 commits into from Sep 8, 2023
Merged

internal: Deunwrap wrap_return_type_in_result #15430

merged 2 commits into from Sep 8, 2023

Conversation

alibektas
Copy link
Member

#15398 subtask 7

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Aug 9, 2023
@alibektas alibektas changed the title Deunwrap wrap_return_type_in_result minor : Deunwrap wrap_return_type_in_result Aug 10, 2023
@Veykril Veykril added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Aug 15, 2023
@alibektas
Copy link
Member Author

@rustbot review

@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. and removed S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. labels Aug 15, 2023
@Veykril
Copy link
Member

Veykril commented Sep 8, 2023

@bors r+

@bors
Copy link
Collaborator

bors commented Sep 8, 2023

📌 Commit eed1b3b has been approved by Veykril

It is now in the queue for this repository.

@bors
Copy link
Collaborator

bors commented Sep 8, 2023

⌛ Testing commit eed1b3b with merge 3325622...

@bors
Copy link
Collaborator

bors commented Sep 8, 2023

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

@bors bors merged commit 3325622 into rust-lang:master Sep 8, 2023
10 checks passed
@lnicola lnicola changed the title minor : Deunwrap wrap_return_type_in_result internal: Deunwrap wrap_return_type_in_result Sep 9, 2023
@lnicola lnicola mentioned this pull request Sep 9, 2023
Closed
15 tasks
@alibektas alibektas deleted the deunwrap/wrap_return_type_in_result branch September 29, 2023 10:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Veykril Veykril Veykril left review comments

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.

None yet
4 participants
@alibektas @Veykril @bors @rustbot