Skip to content

Merge train 4843-2b (CI only; not for merge) - #5128

Closed
erikdarlingdata wants to merge 5 commits into
devfrom
train/4843-2b
Closed

erikdarlingdata wants to merge 5 commits into
devfrom
train/4843-2b

Conversation

@erikdarlingdata

Copy link
Copy Markdown
Owner

Merge train, not for merge. This PR exists only to run CI once on dev plus the squash of each PR below, in this order. When it is green, each PR is squash-merged by itself in the same order, and dev's final tree is checked against this branch's tree. Then this PR is closed unmerged. It replaces #5126, which went red on two test-harness crossings between its PRs. Those crossings are now fixed in #5120 and #5123.

Part of #4843 (and #5097 for the stall-probe PR).

PRs in this train, in order

Train head 7f88da4d0, tree 57f64aafa, base dev aa7ea4c83. A local merged-tree check passed: 398 tests, 0 failures.

@erikdarlingdata

Copy link
Copy Markdown
Owner Author

Train 2b landed: each PR above was squash-merged by itself in order, and dev's tree after the last one (8f730be) is byte-identical to this PR's tested tree. Closing unmerged, as planned.

@erikdarlingdata
erikdarlingdata deleted the train/4843-2b branch October 4, 2026 21:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant