Repository navigation
fix(scripts): end make check with a ran/skipped summary and verdict - #36864
Merged
mateo-berri merged 2 commits intoAug 14, 2026
Merged
Veria AI / Veria AI - PR Review
succeeded
Aug 14, 2026 in 0s
Veria AI - PR Review
No security-relevant changes detected.
Loading