Skip to content

[beta] backports #124272

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
Apr 23, 2024
Merged

[beta] backports #124272

merged 1 commit into from
Apr 23, 2024

Conversation

cuviper
Copy link
Member

@cuviper cuviper commented Apr 22, 2024

r? cuviper

@rustbot
Copy link
Collaborator

rustbot commented Apr 22, 2024

⚠️ Warning ⚠️

  • Pull requests are usually filed against the master branch for this repo, but this one is against beta. Please double check that you specified the right target!

@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Apr 22, 2024
@cuviper
Copy link
Member Author

cuviper commented Apr 22, 2024

@bors r+ rollup=never

@bors
Copy link
Collaborator

bors commented Apr 22, 2024

📌 Commit 19e69b7 has been approved by cuviper

It is now in the queue for this repository.

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Apr 22, 2024
@bors
Copy link
Collaborator

bors commented Apr 23, 2024

⌛ Testing commit 19e69b7 with merge 205af5d...

@bors
Copy link
Collaborator

bors commented Apr 23, 2024

☀️ Test successful - checks-actions
Approved by: cuviper
Pushing 205af5d to beta...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Apr 23, 2024
@bors bors merged commit 205af5d into rust-lang:beta Apr 23, 2024
@rustbot rustbot added this to the 1.78.0 milestone Apr 23, 2024
@cuviper cuviper mentioned this pull request Apr 23, 2024
Closed
@cuviper cuviper deleted the beta-next branch May 9, 2024 21:40
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees

@cuviper cuviper

Labels
merged-by-bors This PR was explicitly merged by bors. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
Projects
None yet
Milestone
1.78.0
Development

Successfully merging this pull request may close these issues.
4 participants
@cuviper @rustbot @bors @compiler-errors