Skip to content

[ci] consolidate labeling on PRs. - #14911

Merged
sayakpaul merged 3 commits into
mainfrom
consolidate-labeling
Oct 9, 2026
Merged

sayakpaul merged 3 commits into
mainfrom
consolidate-labeling

Conversation

@sayakpaul

Copy link
Copy Markdown
Member

The labeling workflow expands itself into four runs (example: #14904). This PR consolidates that into a single step so that the CI dashboard remains shorter.

@sayakpaul
sayakpaul merged commit d7d0b9c into main Oct 9, 2026
21 checks passed
@sayakpaul
sayakpaul deleted the consolidate-labeling branch October 9, 2026 05:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI size/S PR with diff < 50 LOC

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants