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
| Job | Run time |
|---|---|
| 16s | |
| 42s | |
| 15s | |
| 1m 13s |