Skip to content

docs(agents): a local merge-tree of an os-regen path is not GitHub mergeability — state the corollary and name the sound probe (#15871) #21386

docs(agents): a local merge-tree of an os-regen path is not GitHub mergeability — state the corollary and name the sound probe (#15871)

docs(agents): a local merge-tree of an os-regen path is not GitHub mergeability — state the corollary and name the sound probe (#15871) #21386

Triggered via pull request September 5, 2026 12:30
Status Success
Total duration 44s
Artifacts

pr-automation.yml

on: pull_request
Check PR Size
16s
Check PR Size
Check Changeset
42s
Check Changeset
Auto Label
15s
Auto Label
Fit to window
Zoom out
Zoom in

Annotations

1 notice
Check Changeset
'skip-changeset' is on PR #15885 (read live on attempt 1), so this PR declares no release of its own and the changeset check is exempt.