Skip to content

chore: update benchmarks result#155

Merged
koushiro merged 1 commit into
mainfrom
update-benchmarks-result
Jul 10, 2026
Merged

chore: update benchmarks result#155
koushiro merged 1 commit into
mainfrom
update-benchmarks-result

Conversation

@koushiro

Copy link
Copy Markdown
Owner

Which issue does this PR close?

Closes #.

Rationale for this change

What changes are included in this PR?

Are there any user-facing changes?

AI usage statement

@dosubot dosubot Bot added size:L This PR changes 100-499 lines, ignoring generated files. release-note/chore The PR has a title that begins with "chore" or changes other small things that hard to tell labels Jul 10, 2026
@koushiro koushiro merged commit 2e318c4 into main Jul 10, 2026
20 checks passed
@koushiro koushiro deleted the update-benchmarks-result branch July 10, 2026 06:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release-note/chore The PR has a title that begins with "chore" or changes other small things that hard to tell size:L This PR changes 100-499 lines, ignoring generated files.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant