Skip to content

Conversation

@loewenheim
Copy link
Contributor

No description provided.

@loewenheim loewenheim requested a review from a team January 21, 2025 09:00
@loewenheim loewenheim self-assigned this Jan 21, 2025
Copy link
Member

@jjbayer jjbayer left a comment

Choose a reason for hiding this comment

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

LGTM, apart from the conflict.

@loewenheim loewenheim changed the title chore: Clippy lints chore: Simplify check Jan 21, 2025
@loewenheim
Copy link
Contributor Author

Welp, the lints were already fixed. But there's still this check that can be simplified.

@loewenheim loewenheim merged commit ff576f1 into master Jan 21, 2025
6 checks passed
@loewenheim loewenheim deleted the chore/clippy branch January 21, 2025 09:08
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.

4 participants