Skip to content

Conversation

domenukk
Copy link
Member

Description

describe your PR here

Checklist

  • I have run ./scripts/precommit.sh and addressed all comments

@domenukk domenukk marked this pull request as ready for review July 15, 2025 16:13
@domenukk domenukk requested a review from tokatoka July 15, 2025 16:13
Copy link
Member

@tokatoka tokatoka left a comment

Choose a reason for hiding this comment

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

good but ci is broken

@domenukk
Copy link
Member Author

CI will take time here

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