Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: clean up unused code #1029

Merged
merged 1 commit into from
Dec 3, 2024
Merged

chore: clean up unused code #1029

merged 1 commit into from
Dec 3, 2024

Conversation

benfdking
Copy link
Collaborator

No description provided.

@benfdking benfdking force-pushed the benfdking/cleanup_formatter branch from 3663cd0 to 46fdfb9 Compare December 3, 2024 11:22
@benfdking benfdking enabled auto-merge December 3, 2024 11:23
Copy link

github-actions bot commented Dec 3, 2024

Benchmark for 3794a1e

Click to view benchmark
Test Base PR %
DepthMap::from_parent 41.5±0.56µs 42.0±0.79µs +1.20%
fix_complex_query 10.4±0.17ms 10.3±0.11ms -0.96%
parse_complex_query 2.8±0.03µs 2.8±0.02µs 0.00%
parse_expression_recursion 5.0±0.06µs 5.0±0.07µs 0.00%
parse_simple_query 810.1±10.59ns 831.8±90.34ns +2.68%

Copy link

github-actions bot commented Dec 3, 2024

Benchmark for 2e2d0eb

Click to view benchmark
Test Base PR %
DepthMap::from_parent 41.1±0.47µs 40.8±0.41µs -0.73%
fix_complex_query 10.5±0.31ms 10.3±0.08ms -1.90%
parse_complex_query 2.8±0.04µs 2.8±0.02µs 0.00%
parse_expression_recursion 5.3±0.07µs 5.0±0.04µs -5.66%
parse_simple_query 798.2±10.88ns 814.5±20.18ns +2.04%

@benfdking benfdking added this pull request to the merge queue Dec 3, 2024
@benfdking benfdking removed this pull request from the merge queue due to a manual request Dec 3, 2024
@benfdking benfdking added this pull request to the merge queue Dec 3, 2024
@benfdking benfdking removed this pull request from the merge queue due to a manual request Dec 3, 2024
@benfdking benfdking merged commit 8f25e04 into main Dec 3, 2024
36 checks passed
@benfdking benfdking deleted the benfdking/cleanup_formatter branch December 3, 2024 13:25
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