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: update node dec 23 #1081

Merged
merged 1 commit into from
Dec 23, 2024
Merged

chore: update node dec 23 #1081

merged 1 commit into from
Dec 23, 2024

Conversation

benfdking
Copy link
Collaborator

No description provided.

Copy link

Benchmark for e3b9c9e

Click to view benchmark
Test Base PR %
DepthMap::from_parent 40.9±0.79µs 41.0±0.72µs +0.24%
fix_complex_query 10.4±0.12ms 10.4±0.06ms 0.00%
parse_complex_query 2.8±0.03µs 2.9±0.02µs +3.57%
parse_expression_recursion 5.1±0.06µs 5.1±0.05µs 0.00%
parse_simple_query 823.4±13.28ns 829.5±81.09ns +0.74%

Copy link

Benchmark for 1b1dcee

Click to view benchmark
Test Base PR %
DepthMap::from_parent 40.2±0.26µs 40.1±0.20µs -0.25%
fix_complex_query 10.3±0.03ms 10.3±0.39ms 0.00%
parse_complex_query 2.9±0.03µs 2.8±0.04µs -3.45%
parse_expression_recursion 5.1±0.06µs 5.1±0.03µs 0.00%
parse_simple_query 817.3±26.76ns 832.5±76.64ns +1.86%

@benfdking benfdking merged commit 53e6a83 into main Dec 23, 2024
36 of 37 checks passed
@benfdking benfdking deleted the update_node_dec_23 branch December 23, 2024 11:21
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