Repository navigation
fix(workspaceindex): skip git-ignored and build-cache dirs in Scan only - #1117
Open
FabioLeitao wants to merge 1 commit into
Open
FabioLeitao wants to merge 1 commit into
FabioLeitao wants to merge 1 commit into
Commits
Commits on Oct 5, 2026