fix: Send a single hover request every time the user hovers#1544
Merged
rubenporras merged 1 commit intoJun 9, 2026
GitHub Advanced Security / CodeQL
succeeded
Jun 7, 2026 in 1s
No new alerts in code changed by this pull request
Loading