Repository navigation

Let each PR name the CI lanes it needs - #260

Merged

SunkenInTime merged 1 commit into

mainfrom

t3/agent-picked-ci

Oct 8, 2026

Merged

Let each PR name the CI lanes it needs#260
SunkenInTime merged 1 commit into
mainfrom
t3/agent-picked-ci

Commits on Oct 8, 2026
- Let each PR name the CI lanes it needs
  
  SunkenInTime
  and
  claude
  committed
  b68e6e6