Skip to content

Fix lint + clippy - #2

Merged
davidwilemski merged 1 commit into
mainfrom
fix-lint
Nov 12, 2025
Merged

Fix lint + clippy#2
davidwilemski merged 1 commit into
mainfrom
fix-lint

Conversation

@davidwilemski

Copy link
Copy Markdown
Owner

(claude assisted)

(claude assisted)
@davidwilemski
davidwilemski merged commit 36b7abf into main Nov 12, 2025
1 check passed
@davidwilemski
davidwilemski deleted the fix-lint branch November 12, 2025 05:16
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.

1 participant