Parents and children of check-in [052ead75dc]
|
2026-10-01
| ||
| 12:26 | A push-made merge is the push's (push-pair): a closing landing cancels only its own runs and re-tests a tip left without a verdict check-in: 0c41c40097 user: zeitgeist tags: ci-tests-each-change-once | |
| 12:23 | Only a branch with an open landing tests its merge; an unproposed branch is tested as its tip check-in: 052ead75dc user: zeitgeist tags: ci-tests-each-change-once | |
| 12:04 | Merge trunk check-in: 1221ef747b user: zeitgeist tags: ci-tests-each-change-once | |