Skip to content
This repository was archived by the owner on Jan 30, 2026. It is now read-only.

fix: clippy new lint#173

Merged
shikhar merged 1 commit intomainfrom
fix-clippy
Sep 21, 2025
Merged

fix: clippy new lint#173
shikhar merged 1 commit intomainfrom
fix-clippy

Conversation

@shikhar
Copy link
Member

@shikhar shikhar commented Sep 20, 2025

No description provided.

@shikhar shikhar requested a review from a team as a code owner September 20, 2025 15:01
@shikhar shikhar merged commit 1733241 into main Sep 21, 2025
3 checks passed
@shikhar shikhar deleted the fix-clippy branch September 21, 2025 01:41
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant