Skip to content

Merge train 4843-1 (CI only; not for merge) - #5124

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

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

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.

Part of #4843.

PRs in this train, in order

Train head ce11ee5b1, tree bd7fffe6d, base dev 21573611e.

@erikdarlingdata

Copy link
Copy Markdown
Owner Author

Train 1 landed: each PR above was squash-merged by itself in this order and dev's tree after the last one (aa7ea4c) is byte-identical to the tree this PR's CI tested (on dev 9b6f305). Closing unmerged, as planned.

@erikdarlingdata
erikdarlingdata deleted the train/4843-1 branch October 4, 2026 21:05
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