编码智能体让「验证」成了最贵的环节，Linear 重构了 CI

为什么重要 AI 写代码让产出速度先涨起来，而验证能力还没跟上。Linear 这次改造说明：CI 架构、执行器（runner）的成本账、测试隔离，正在成为重度使用智能体的工程团队绕不开的核心约束。产品研发软件公司 Linear 在