docs(agents): a local merge-tree of an os-regen path is not GitHub mergeability — state the corollary and name the sound probe (#15871)
#31087
Triggered via pull request
September 5, 2026 12:30
Status
Failure
Total duration
10m 53s
Artifacts
–
lint.yml
on: pull_request
Type Check · source gates
2m 48s
Type Check · workspace
10m 27s
Type Check · debt ledger
8m 58s
Type Check · consumer gates
10m 43s
Lint & Repo Gates
6m 31s
TypeScript Type Check
3s
Annotations
1 error
|
Lint & Repo Gates
Process completed with exit code 1.
|