Repository navigation

ci: route owned-mini root jobs to the root runner label - #14357

Merged

teamleaderleo merged 1 commit into

mainfrom

ci/owned-root-label

Sep 25, 2026

Merged

ci: route owned-mini root jobs to the root runner label#14357
teamleaderleo merged 1 commit into
mainfrom
ci/owned-root-label

Commits on Sep 25, 2026
- ci: route owned-mini root jobs to the root runner label
  
  teamleaderleo
  and
  claude
  committed
  d592d42