ruff
Build settings index in parallel for the native server
#12299

Merged

Build settings index in parallel for the native server #12299

dhruvmanila merged 2 commits into main from dhruv/parallel-walk-builder

dhruvmanila added server

MichaReiser approved these changes on 2024-07-12

Build settings index in parallel for the native server

aa5c1dc8

Check for `respect_gitignore` from root config

ba085197

dhruvmanila force pushed from cb87b15a to ba085197 1 year ago

dhruvmanila enabled auto-merge (squash) 1 year ago

dhruvmanila merged ecd4b4d9 into main 1 year ago

dhruvmanila deleted the dhruv/parallel-walk-builder branch 1 year ago

Reviewers

MichaReiser

Assignees

No one assigned

Labels

server

Milestone

No milestone