Skip to content
New issue

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

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

Already on GitHub? # to your account

lsp/perf: don't traverse .git or .idea dirs #984

Merged
merged 1 commit into from
Aug 13, 2024
Merged

Conversation

anderseknert
Copy link
Member

In the Regal workspace, the time to find the workspace .rego files went from 70 ms to 7 ms. Nice!

In the Regal workspace, the time to find the workspace .rego files
went from 70 ms to 7 ms. Nice!

Signed-off-by: Anders Eknert <anders@styra.com>
@anderseknert anderseknert merged commit 04b8a75 into main Aug 13, 2024
3 checks passed
@anderseknert anderseknert deleted the walk-dir-perf branch August 13, 2024 08:58
srenatus pushed a commit to srenatus/regal that referenced this pull request Oct 1, 2024
In the Regal workspace, the time to find the workspace .rego files
went from 70 ms to 7 ms. Nice!

Signed-off-by: Anders Eknert <anders@styra.com>
charlieegan3 pushed a commit to charlieegan3/regal that referenced this pull request Jan 6, 2025
In the Regal workspace, the time to find the workspace .rego files
went from 70 ms to 7 ms. Nice!

Signed-off-by: Anders Eknert <anders@styra.com>
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants