fix: update index when tool selection strategy changes#2991

Merged

wendytang merged 8 commits into

mainfrom

wtang/update_index

Jun 23, 2025

GitHub Advanced Security / Semgrep OSS succeeded Jun 20, 2025 in 2s

No new alerts in code changed by this pull request

View all branch alerts.