Skip to content

chore: Enable clippy#433

Merged
srid merged 1 commit intomainfrom
clippy
Mar 5, 2025
Merged

chore: Enable clippy#433
srid merged 1 commit intomainfrom
clippy

Conversation

@shivaraj-bh
Copy link
Member

The clippy issue was on nightly. As of #427 we are no longer on nightly

The clippy issue was on nightly. As of
#427 we are no longer on nightly
@srid srid merged commit 454cb27 into main Mar 5, 2025
3 checks passed
@srid srid deleted the clippy branch March 5, 2025 14:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants