Skip to content

Comments

chore: Fix clippy for object_store#6422

Merged
Xuanwo merged 2 commits intomainfrom
fix-clippy
Jul 17, 2025
Merged

chore: Fix clippy for object_store#6422
Xuanwo merged 2 commits intomainfrom
fix-clippy

Conversation

@Xuanwo
Copy link
Member

@Xuanwo Xuanwo commented Jul 17, 2025

Which issue does this PR close?

As title.

Rationale for this change

What changes are included in this PR?

Are there any user-facing changes?

@Xuanwo Xuanwo requested review from ClSlaid and yihong0618 July 17, 2025 06:28
@dosubot dosubot bot added size:XS This PR changes 0-9 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 Jul 17, 2025
Copy link
Contributor

@yihong0618 yihong0618 left a comment

Choose a reason for hiding this comment

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

LGTM

@Xuanwo Xuanwo merged commit 57b1ff2 into main Jul 17, 2025
35 checks passed
@Xuanwo Xuanwo deleted the fix-clippy branch July 17, 2025 06:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

releases-note/chore The PR has a title that begins with "chore" or changes other small things that hard to tell size:XS This PR changes 0-9 lines, ignoring generated files.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants