Merge pull request #260 from SunkenInTime/t3/agent-picked-ci

Let each PR name the CI lanes it needs
8cf0e59fbeDara Adedeji committed on 10/8/2026, 10:45:40 PM· committed by GitHubparentsecaa6a8b68e6e6

Checks

All checks passed
2 files changedLine totals unavailable