Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: fix linter annotation #27

Merged
merged 3 commits into from
Jul 30, 2024
Merged

Conversation

choffmann
Copy link
Member

@choffmann choffmann commented Jul 28, 2024

This PR fixes the linter annotations

@choffmann choffmann self-assigned this Jul 28, 2024
@choffmann choffmann force-pushed the feature/fix-linter-annotations branch 3 times, most recently from e223435 to 6d66754 Compare July 28, 2024 15:33
@choffmann choffmann force-pushed the feature/fix-linter-annotations branch from 6d66754 to 2600d60 Compare July 28, 2024 15:39
@choffmann choffmann marked this pull request as ready for review July 28, 2024 15:43
@choffmann choffmann added the need-reviewer Send notification in Discord label Jul 28, 2024
Copy link
Contributor

@doriengr doriengr left a comment

Choose a reason for hiding this comment

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

Looks nice 💯

@choffmann choffmann merged commit b06ce82 into develop Jul 30, 2024
3 checks passed
@choffmann choffmann deleted the feature/fix-linter-annotations branch July 30, 2024 10:53
@choffmann choffmann mentioned this pull request Feb 19, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
need-reviewer Send notification in Discord
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants