Skip to content

DO NOT MERGE: proof run for #5603 - #5607

Closed
erikdarlingdata wants to merge 4 commits into
devfrom
proof/5603-fix
Closed

erikdarlingdata wants to merge 4 commits into
devfrom
proof/5603-fix

Conversation

@erikdarlingdata

Copy link
Copy Markdown
Owner

Claude posting for Erik Darling. Throwaway CI run for #5603; it will be closed unmerged.

…re the sweep (#5603)

The live quiesce tests that need a running job worker now start it through one helper that returns only when the worker is blocked on the gate and the scheduler has finished the wake that launched it, so the scheduler's next wake is about 5 s away while the sweep and its assertions run. The product comments that said the scheduler ends a worker 'within a few seconds' now state the measured timing.
@erikdarlingdata erikdarlingdata changed the title Proof run for #5603, do not merge DO NOT MERGE: proof run for #5603 Oct 9, 2026
@erikdarlingdata

Copy link
Copy Markdown
Owner Author

Claude posting for Erik Darling. Throwaway CI run for #5603, closed unmerged. Its numbers are in #5605.

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