Skip to content

Conversation

@antazoey
Copy link
Member

it doesn't seem to really address any bottlenecks, but just comapring.

@github-actions
Copy link

This pull request is considered stale because it has been open 30 days with no activity. Remove stale label, add a comment, or make a new commit, otherwise this PR will be closed in 5 days.

@github-actions github-actions bot added the stale No activity for 30 days label Nov 20, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

stale No activity for 30 days

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant