Skip to content

Conversation

@dschafer
Copy link
Owner

@dschafer dschafer commented Jul 17, 2025

This clippy warning was firing in the CI flow. Fix it.

@dschafer dschafer merged commit f892f28 into main Jul 17, 2025
1 check passed
@dschafer dschafer deleted the clippy branch July 17, 2025 21:34
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