Skip to content

train 1109232206: #2708 (CI only) - #2716

Closed
ashhart wants to merge 3 commits into
mainfrom
lead/train-1109232206
Closed

ashhart wants to merge 3 commits into
mainfrom
lead/train-1109232206

Conversation

@ashhart

@ashhart ashhart commented Nov 9, 2026

Copy link
Copy Markdown
Owner

CI for a landing train: #2708 stacked on main in that order. Nothing merges from this PR: each PR above lands on its own once this tip is green, and this PR is then closed.

@ashhart

ashhart commented Nov 9, 2026

Copy link
Copy Markdown
Owner Author

Landed: #2708 as main 21ea8de. This PR only carried their CI.

@ashhart ashhart closed this Nov 9, 2026
@ashhart
ashhart deleted the lead/train-1109232206 branch November 9, 2026 23:40
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