[CI] Remove unnecessary PR validation - #199134
Closed
ojhunt wants to merge 1 commit into
Closed
GitHub Advanced Security / CodeQL
succeeded
May 21, 2026 in 1s
No new alerts in code changed by this pull request
Loading