Skip to content

Derive PR number from the triggering run in the size labeler - #6259

Merged
ChrisJBurns merged 2 commits into
mainfrom
harden-pr-size-labeling
Aug 10, 2026
Merged

ChrisJBurns merged 2 commits into
mainfrom
harden-pr-size-labeling

Commits

Commits on Aug 10, 2026