Make platform checks throw BuildError like other failures (backport #13278) - #13606
Closed
mergify[bot] wants to merge 1 commit into
Closed
Make platform checks throw BuildError like other failures (backport #13278)#13606mergify[bot] wants to merge 1 commit into
mergify[bot] wants to merge 1 commit into
GitHub Advanced Security / CodeQL
succeeded
Jul 30, 2025 in 2s
No new alerts in code changed by this pull request
Loading