Skip to content

chore: clippy lints#137

Merged
AgentElement merged 1 commit intomainfrom
clippylint
Jan 7, 2026
Merged

chore: clippy lints#137
AgentElement merged 1 commit intomainfrom
clippylint

Conversation

@AgentElement
Copy link
Collaborator

Fix clippy lints blocking #136

@AgentElement AgentElement merged commit 894f423 into main Jan 7, 2026
11 checks passed
@AgentElement AgentElement deleted the clippylint branch January 7, 2026 18:59
@jdaymude jdaymude added the bug Something isn't working label Jan 7, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants