Skip to content

Avoid deleting labeled blocks #12219

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.

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

Merged
merged 1 commit into from
Feb 3, 2024
Merged

Avoid deleting labeled blocks #12219

merged 1 commit into from
Feb 3, 2024

Conversation

sanxiyn
Copy link
Member

@sanxiyn sanxiyn commented Jan 31, 2024

Fix #11575.

changelog: [unnecessary_operation]: skip labeled blocks

@rustbot
Copy link
Collaborator

rustbot commented Jan 31, 2024

r? @blyxyas

(rustbot has picked a reviewer for you, use r? to override)

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Jan 31, 2024
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This should be in tests/ui/no_effect.rs 🐱

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Why? The test case triggers unnecessary_operation, not no_effect.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Oh yeah, I misread something, it's ok.

Copy link
Member

@blyxyas blyxyas left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thanks! ❤️
Could you squash these commits?

@blyxyas
Copy link
Member

blyxyas commented Feb 3, 2024

@bors r+

@bors
Copy link
Contributor

bors commented Feb 3, 2024

📌 Commit abced20 has been approved by blyxyas

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Feb 3, 2024

⌛ Testing commit abced20 with merge 7a1d0c8...

bors added a commit that referenced this pull request Feb 3, 2024
Avoid deleting labeled blocks

Fix #11575.

changelog: [`unnecessary_operation`]: skip labeled blocks
@bors
Copy link
Contributor

bors commented Feb 3, 2024

💔 Test failed - checks-action_test

@blyxyas
Copy link
Member

blyxyas commented Feb 3, 2024

@bors retry

@bors
Copy link
Contributor

bors commented Feb 3, 2024

⌛ Testing commit abced20 with merge 175cfe9...

bors added a commit that referenced this pull request Feb 3, 2024
Avoid deleting labeled blocks

Fix #11575.

changelog: [`unnecessary_operation`]: skip labeled blocks
@bors
Copy link
Contributor

bors commented Feb 3, 2024

💔 Test failed - checks-action_test

@blyxyas
Copy link
Member

blyxyas commented Feb 3, 2024

@bors retry

@bors
Copy link
Contributor

bors commented Feb 3, 2024

⌛ Testing commit abced20 with merge ddd932e...

bors added a commit that referenced this pull request Feb 3, 2024
Avoid deleting labeled blocks

Fix #11575.

changelog: [`unnecessary_operation`]: skip labeled blocks
@bors
Copy link
Contributor

bors commented Feb 3, 2024

💔 Test failed - checks-action_test

@blyxyas
Copy link
Member

blyxyas commented Feb 3, 2024

@bors retry

@bors
Copy link
Contributor

bors commented Feb 3, 2024

⌛ Testing commit abced20 with merge 9fb4107...

@bors
Copy link
Contributor

bors commented Feb 3, 2024

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: blyxyas
Pushing 9fb4107 to master...

@bors bors merged commit 9fb4107 into rust-lang:master Feb 3, 2024
@sanxiyn sanxiyn deleted the labeled-block branch February 4, 2024 11:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties
Projects
None yet
Development

Successfully merging this pull request may close these issues.

unnecessary_operation deletes labeled blocks
5 participants