Skip to content

Comments

chore: make clippy happy again#6493

Merged
Xuanwo merged 1 commit intoapache:mainfrom
kingsword09:chore-clippy
Aug 8, 2025
Merged

chore: make clippy happy again#6493
Xuanwo merged 1 commit intoapache:mainfrom
kingsword09:chore-clippy

Conversation

@kingsword09
Copy link
Contributor

@dosubot dosubot bot added size:M This PR changes 30-99 lines, ignoring generated files. releases-note/chore The PR has a title that begins with "chore" or changes other small things that hard to tell labels Aug 8, 2025
Copy link
Member

@Xuanwo Xuanwo left a comment

Choose a reason for hiding this comment

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

Thank you!

@dosubot dosubot bot added the lgtm This PR has been approved by a maintainer label Aug 8, 2025
@Xuanwo Xuanwo merged commit 9f89b1d into apache:main Aug 8, 2025
339 checks passed
@yihong0618
Copy link
Contributor

Thank you ! just also found it Hahhha

@kingsword09 kingsword09 deleted the chore-clippy branch August 8, 2025 05:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

lgtm This PR has been approved by a maintainer releases-note/chore The PR has a title that begins with "chore" or changes other small things that hard to tell size:M This PR changes 30-99 lines, ignoring generated files.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants