26368085744
95%

Ran 24 May 2026 05:38PM UTC

Jobs 1

Files 74

Run time 1min

Badge

Embed ▾

Committed 24 May 2026 05:33PM UTC coverage: 94.851% (+0.05%) from 94.8%

Build # 26368085744

Build Type

push

github

Committed by

web-flow

Commit Message

refactor(driver-file): document leader_tx via #[expect] instead of #[allow(dead_code)] (#294)

leader_tx is held to keep the watch channel open so
WatchStream::new(leader_rx.clone()) consumers don't see the stream
terminate; FileDriver never sends after the initial Leader { epoch: 0 }.
The bare #[allow(dead_code)] read as 'safe to delete'.

Replace it with a prose comment explaining why the field is stored, plus
#[expect(dead_code, reason = ...)] so the justification lives at the lint
site and the lint re-fires if the field ever becomes genuinely unused.

Closes #101

Coverage Stats

11053 of 11653 relevant lines covered (94.85%)

461141.26 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	26368085744.1	24 May 2026 05:38PM UTC	74	94.85	GitHub Action Run

prisma-risk / tsoracle / 26368085744
95%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 26368085744

prisma-risk / tsoracle / 26368085744 95%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 26368085744

prisma-risk / tsoracle / 26368085744
95%

README BADGES
x