Skip to content

Conversation

@rolinh
Copy link
Member

@rolinh rolinh commented Nov 12, 2025

No description provided.

@rolinh rolinh requested a review from kaworu November 12, 2025 10:16
@rolinh rolinh self-assigned this Nov 12, 2025
@rolinh rolinh added enhancement New feature or request area/ci labels Nov 12, 2025
Copy link
Member

@kaworu kaworu left a comment

Choose a reason for hiding this comment

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

Thanks!

@rolinh rolinh merged commit 01d7907 into main Nov 12, 2025
6 checks passed
@rolinh rolinh deleted the pr/rolinh/tidy branch November 12, 2025 20:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area/ci enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants