Skip to content

chore: Make clippy happy#3229

Merged
Xuanwo merged 1 commit intomainfrom
make-clippy-happy
Oct 7, 2023
Merged

chore: Make clippy happy#3229
Xuanwo merged 1 commit intomainfrom
make-clippy-happy

Conversation

@Xuanwo
Copy link
Copy Markdown
Member

@Xuanwo Xuanwo commented Oct 7, 2023

No description provided.

Signed-off-by: Xuanwo <github@xuanwo.io>
@Xuanwo Xuanwo requested a review from PsiACE as a code owner October 7, 2023 02:52
@Xuanwo Xuanwo requested review from silver-ymz and suyanhanx October 7, 2023 02:53
@github-actions github-actions Bot added the releases-note/chore The PR has a title that begins with "chore" or changes other small things that hard to tell label Oct 7, 2023
@Xuanwo Xuanwo merged commit 0db7bda into main Oct 7, 2023
@Xuanwo Xuanwo deleted the make-clippy-happy branch October 7, 2023 03:07
Zheaoli pushed a commit to Zheaoli/opendal that referenced this pull request Oct 12, 2023
Signed-off-by: Xuanwo <github@xuanwo.io>
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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants