Skip to content

perf(language_server): use FxDashMap for diagnostics reports map#7523

Merged
graphite-app[bot] merged 1 commit intomainfrom
11-28-perf_language_server_use_fxdashmap_for_diagnostics_reports_map
Nov 28, 2024
Merged

perf(language_server): use FxDashMap for diagnostics reports map#7523
graphite-app[bot] merged 1 commit intomainfrom
11-28-perf_language_server_use_fxdashmap_for_diagnostics_reports_map

Conversation

@overlookmotel
Copy link
Member

@overlookmotel overlookmotel commented Nov 28, 2024

Same as #7521. Use FxDashMap instead of plain DashMap for hash map storing diagnostics.

@graphite-app
Copy link
Contributor

graphite-app bot commented Nov 28, 2024

Your org has enabled the Graphite merge queue for merging into main

Add the label “0-merge” to the PR and Graphite will automatically add it to the merge queue when it’s ready to merge. Or use the label “hotfix” to add to the merge queue as a hot fix.

You must have a Graphite account and log in to Graphite in order to use the merge queue. Sign up using this link.

Copy link
Member Author

This stack of pull requests is managed by Graphite. Learn more about stacking.

@overlookmotel overlookmotel marked this pull request as ready for review November 28, 2024 11:21
@github-actions github-actions bot added A-editor Area - Editor and Language Server C-performance Category - Solution not expected to change functional behavior, only performance labels Nov 28, 2024
@Boshen Boshen added the 0-merge Merge with Graphite Merge Queue label Nov 28, 2024
Copy link
Member

Boshen commented Nov 28, 2024

Merge activity

  • Nov 28, 6:39 AM EST: The merge label '0-merge' was detected. This PR will be added to the Graphite merge queue once it meets the requirements.
  • Nov 28, 6:39 AM EST: A user added this pull request to the Graphite merge queue.
  • Nov 28, 7:00 AM EST: A user merged this pull request with the Graphite merge queue.

…7523)

Same as #7521. Use `FxDashMap` instead of plain `DashMap` for hash map storing diagnostics.
@Boshen Boshen force-pushed the 11-28-perf_language_server_use_fxdashmap_for_diagnostics_reports_map branch from 4fc73ee to 55f3636 Compare November 28, 2024 11:52
@graphite-app graphite-app bot merged commit 55f3636 into main Nov 28, 2024
@graphite-app graphite-app bot deleted the 11-28-perf_language_server_use_fxdashmap_for_diagnostics_reports_map branch November 28, 2024 12:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

0-merge Merge with Graphite Merge Queue A-editor Area - Editor and Language Server C-performance Category - Solution not expected to change functional behavior, only performance

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants