Skip to content

Conversation

@SharkPool-SP
Copy link
Collaborator

add dirty checks, cleaner code, fix float point issues, and optimize.

@github-actions github-actions bot added the pr: change existing extension Pull requests that change an existing extension label Feb 7, 2026
@SharkPool-SP
Copy link
Collaborator Author

!format

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr: change existing extension Pull requests that change an existing extension

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants