• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

prisma-risk / tsoracle / 26374976709
95%

Build:
DEFAULT BRANCH: main
Ran 24 May 2026 10:55PM UTC
Jobs 1
Files 76
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

24 May 2026 10:50PM UTC coverage: 94.873% (-0.005%) from 94.878%
26374976709

push

github

web-flow
refactor(server): emit leader-transition counter after state changes in run_leader_watch (#328)

The `tsoracle.leader_transition.total` counter was incremented before the
`match evt` in `run_leader_watch`, so every branch (Leader/Follower/Unknown)
waited behind the metric emission before clearing the allocator and publishing
the new `ServingState`. Under the `metrics` crate's de facto non-blocking O(1)
recorder contract this is unobservable, but it makes "metrics latency =
correctness latency" a structural property: a recorder with a blocking
`increment` would delay safety-critical leadership transitions.

Move the counter into each match arm, emitted after that arm's safety state
change. The Leader arm counts after the up-front clear-to-NotServing (not on
the fence's success path) so a Leader event still increments exactly once even
when the fence steps down or faults, matching the prior pre-`match` behavior.
The fence_latency histogram is unchanged: it already records inside the Ok arm
after Serving is published, which its "fence-start to Serving" semantic
requires. No behavior change under any standard recorder.

Closes #79

9 of 9 new or added lines in 1 file covered. (100.0%)

1 existing line in 1 file now uncovered.

11418 of 12035 relevant lines covered (94.87%)

476079.51 hits per line

Coverage Regressions

Lines Coverage ∆ File
1
97.44
-0.32% benchmarks/stress/src/loadgen.rs
Jobs
ID Job ID Ran Files Coverage
1 26374976709.1 24 May 2026 10:55PM UTC 76
94.87
GitHub Action Run
Source Files on build 26374976709
  • Tree
  • List 76
  • Changed 2
  • Source Changed 1
  • Coverage Changed 2
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • Github Actions Build #26374976709
  • 8481abde on github
  • Prev Build on main (#26374735542)
  • Next Build on main (#26375115934)
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc