26341753400
97%

Ran 23 May 2026 07:44PM UTC

Jobs 1

Files 74

Run time 1min

Badge

Embed ▾

Committed 23 May 2026 07:39PM UTC coverage: 94.796%. Remained the same

Build # 26341753400

Build Type

push

github

Committed by

web-flow

Commit Message

test(driver-paxos): widen standalone shutdown liveness bound to 10s (#220)

The `coverage` CI job intermittently failed `stop_delivers_shutdown_when_
apply_task_is_mid_iteration` with a 2s timeout, while the `test` job passed.
The 2s assertion was a latency bound, but its real purpose is a liveness
guard against the pre-fix `notify_waiters` livelock (which hangs forever).

Under llvm-cov instrumentation the whole suite runs in parallel on a
constrained runner; the apply task occasionally does not get scheduled to
wake from the released yield point within 2s — pure scheduler starvation,
not a lost wakeup. `stop()` returns in microseconds once the task runs:
`apply_shutdown` uses `notify_one`, whose stored permit is always consumed
by the next `select!` turn, and the competing edge-triggered `apply_notify`
cannot make a freshly-created `notified()` ready, so it cannot steal that
turn. Production is unaffected — the yield point compiles out without the
`yieldpoints` feature, so the apply branch never suspends off the `select!`.

Widen the bound to 10s (matching the sibling driver tests' generous liveness
timeouts) and reword the message/comment to reflect liveness, not latency.

Coverage Stats

10074 of 10627 relevant lines covered (94.8%)

535159.62 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	26341753400.1	23 May 2026 07:44PM UTC	74	94.8	GitHub Action Run

prisma-risk / tsoracle / 26341753400
97%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 26341753400

prisma-risk / tsoracle / 26341753400 97%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 26341753400

prisma-risk / tsoracle / 26341753400
97%

README BADGES
x