ums: an ad-hoc && chain has nowhere to put pipefail, and a review can arrive after mergedAt - #1087

Merged

d-morrison merged 5 commits into

mainfrom

ums/merge-time-1079-1082

Aug 3, 2026

Commits on Aug 3, 2026

ums: an ad-hoc && chain of checks has nowhere to put pipefail
d-morrison
committed
b164ef8
ums: a review can arrive after mergedAt, and the merged PR is no place to address it
d-morrison
committed
9b31005
self-review: drop an invented particular and an unsupported reader claim
d-morrison
committed
b706339
Merge origin/main into ums/merge-time-1079-1082
claude
committed
72aa349
Address review: narrow overclaims in the late-review and ad-hoc-chain sections
claude
committed
06ec4b3