Skip to content

Comment out unused match arms in link generator#2

Merged
fxkr merged 1 commit intomainfrom
dev/unused-match-arms
Sep 21, 2025
Merged

Comment out unused match arms in link generator#2
fxkr merged 1 commit intomainfrom
dev/unused-match-arms

Conversation

@fxkr
Copy link
Copy Markdown
Member

@fxkr fxkr commented Sep 21, 2025

Based on the included benchmark, this increases performance by ~20%.

Based on the included benchmark, this increases performance by ~20%.
@fxkr fxkr merged commit 994ef9d into main Sep 21, 2025
2 checks passed
@fxkr fxkr deleted the dev/unused-match-arms branch September 22, 2025 00:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant