Skip to content

Conversation

@sue445
Copy link
Collaborator

@sue445 sue445 commented Apr 11, 2025

follow up for #294

@sue445 sue445 added the chore Chore updates (Not included in release note) label Apr 11, 2025
@sue445 sue445 merged commit 53de9f7 into main Apr 11, 2025
2 checks passed
@sue445 sue445 deleted the update_bench branch April 11, 2025 15:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Chore updates (Not included in release note)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants