Honor library ignorefunction() settings when reporting unused functions.#8130
Closed
rgetz wants to merge 1 commit into
Closed
Honor library ignorefunction() settings when reporting unused functions.#8130rgetz wants to merge 1 commit into
rgetz wants to merge 1 commit into
GitHub Advanced Security / CodeQL
succeeded
Jan 16, 2026 in 2s
No new alerts in code changed by this pull request
Loading