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.

Sign up for GitHub

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

Jump to bottom

Publish extension to Open VSX #1439

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Publish extension to Open VSX #1439

wants to merge 1 commit into from

Conversation

benfdking
Copy link
Collaborator

@benfdking benfdking commented Mar 21, 2025 •
edited
Loading

Related to #1435

For more details, open the Copilot Workspace session.

@github-actions GitHub Actions
Copy link

Benchmark for d1feeea

Click to view benchmark
Test Base PR %
DepthMap::from_parent 38.2±0.33µs 38.1±0.62µs -0.26%
fix_complex_query 9.5±0.09ms 9.7±0.57ms +2.11%
fix_superlong 101.7±6.42ms 104.4±7.00ms +2.65%
parse_complex_query 2.9±0.04µs 3.0±0.03µs +3.45%
parse_expression_recursion 5.1±0.05µs 5.1±0.04µs 0.00%
parse_simple_query 815.6±12.94ns 812.9±12.19ns -0.33%

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@benfdking