Pull Request Labels

Speed up workspace symbol search by filtering before fuzzy matching #7879

Sign in to view logs

Triggered via pull request November 10, 2025 21:22

vinistock

labeled #3792

janko:speed-up-workspace-symbol-search

Status Success

Total duration 8s

Artifacts –

require_labels.yml

on: pull_request