Skip to content

chore(clippy): apply clipy lints - #432

Merged
Totodore merged 1 commit into
mainfrom
fix-clippy
Jan 13, 2025
Merged

chore(clippy): apply clipy lints#432
Totodore merged 1 commit into
mainfrom
fix-clippy

Conversation

@Totodore

Copy link
Copy Markdown
Owner

No description provided.

@TotodoreTotodore added the C-Refactoring Implies a refactoring label Jan 13, 2025
@Totodore
Totodore enabled auto-merge (squash) January 13, 2025 16:14
@Totodore
Totodore merged commit 48fb84d into mainJan 13, 2025
@Totodore
Totodore deleted the fix-clippy branch January 17, 2025 16:59
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

C-RefactoringImplies a refactoring

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

@Totodore