Skip to content

Conversation

43081j
Copy link
Contributor

@43081j 43081j commented Jun 25, 2025

Fixes some leftover lint errors and adds lint to CI.

@43081j 43081j requested a review from a team as a code owner June 25, 2025 08:33
Fixes some leftover lint errors and adds lint to CI.
Copy link
Member

@koddsson koddsson left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good!

@43081j 43081j merged commit 63d203f into main Jun 25, 2025
6 checks passed
@43081j 43081j deleted the fix-lint branch June 25, 2025 08:38
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