Skip to content

Conversation

@Sherlouk
Copy link
Collaborator

@Sherlouk Sherlouk commented Feb 3, 2025

because CI is strict

@adamrushy adamrushy merged commit 54c5f3b into main Feb 3, 2025
2 checks passed
@adamrushy adamrushy deleted the sherlouk-patch-2 branch February 3, 2025 14:52
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.

3 participants