Skip to content

Conversation

@jeremylt
Copy link
Member

@zatkins-dev local tests suggest this might offer a mild speedup

@jeremylt jeremylt self-assigned this Jul 17, 2025
@jeremylt jeremylt merged commit 2f00a50 into main Jul 17, 2025
29 checks passed
@jeremylt jeremylt deleted the jeremy/at-points-tune branch July 17, 2025 19:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants