Skip to content

train 1114071613: #3005 (CI only) - #3307

Closed
ashhart wants to merge 2 commits into
mainfrom
lead/train-1114071613
Closed

ashhart wants to merge 2 commits into
mainfrom
lead/train-1114071613

Conversation

@ashhart

@ashhart ashhart commented Nov 14, 2026

Copy link
Copy Markdown
Owner

CI for a landing train: #3005 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.

Keep headless per-stream verification at one row while opting into exact cross-stream rounds. Retain the pipelined lone path and test shared transitions without drafts or copies.
@ashhart

ashhart commented Nov 14, 2026

Copy link
Copy Markdown
Owner Author

Conflicts with main (main moved after stacking); restacking.

@ashhart
ashhart force-pushed the lead/train-1114071613 branch from 3096993 to 79d1e6f Compare November 14, 2026 07:30
@ashhart ashhart closed this Nov 14, 2026
@ashhart
ashhart deleted the lead/train-1114071613 branch November 14, 2026 07:30
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