Make platform checks throw BuildError like other failures (backport #13278)#13603
Closed
mergify[bot] wants to merge 1 commit into
Closed
Make platform checks throw BuildError like other failures (backport #13278)#13603mergify[bot] wants to merge 1 commit into
mergify[bot] wants to merge 1 commit into
dpulls / dpulls
succeeded
Jul 30, 2025
All dependencies are resolved.
Details
Loading