AI coding has made CI a bottleneck, so we reworked ours to keep up

Linear 的经验显示，AI 加快提交后真正卡住的是验证环节：测试量近四倍，仍把 PR 等待从超过 6 分钟压到略高于 5 分钟，runner 时间约减半。浅 checkout、tsgo、无类型 lint、依赖预装、短检查合并和八路分片各自贡献小幅收益，合并后变更检测中位数从 26 秒降到 8 秒，每月省约 87,000 runner-minutes。