prisma-risk / tsoracle / 26492297547 / 1
95%
main: 95%

DEFAULT BRANCH: main
Ran
Files 92
Run time 3s
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
coverage: 94.903% (-0.03%) from 94.937%
26492297547.1

push

github

web-flow 
feat(server): periodic heartbeat log + typed Reporter metric facade (#567)

* feat(server/reporter): scaffold Reporter module with ReporterCounter

Signed-off-by: Sebastian Thiebaud <sebastian@prismarisk.com>

* refactor(server/reporter): tighten ReporterCounter method visibility to pub(crate); fold dead_code rationale into module doc

Signed-off-by: Sebastian Thiebaud <sebastian@prismarisk.com>

* test(server/reporter): assert ReporterCounter forwards to metrics recorder via with_local_recorder

Signed-off-by: Sebastian Thiebaud <sebastian@prismarisk.com>

* feat(server/reporter): add ReporterHistogram passthrough wrapper

Signed-off-by: Sebastian Thiebaud <sebastian@prismarisk.com>

* feat(server/reporter): add ReporterTimestamp with None-when-never-touched sentinel

Signed-off-by: Sebastian Thiebaud <sebastian@prismarisk.com>

* feat(server/reporter): add Reporter struct with all crate metric fields

Signed-off-by: Sebastian Thiebaud <sebastian@prismarisk.com>

* test(server/reporter): assert Reporter builds and works with feature='metrics' off

Signed-off-by: Sebastian Thiebaud <sebastian@prismarisk.com>

* feat(server): wire Reporter into Server::build (no readers yet)

Add `reporter: Arc<Reporter>` field to `Server`, populate it in
`ServerBuilder::build()`, and re-export `Reporter` from `lib.rs` as
`tsoracle_server::Reporter`. No call-site migration yet; field carries
`#[allow(dead_code)]` until T8+ replace the metrics:: call sites.

Signed-off-by: Sebastian Thiebaud <sebastian@prismarisk.com>

* refactor(server/service): migrate metrics calls to Reporter; drop ignored_commit_metric helper

Signed-off-by: Sebastian Thiebaud <sebastian@prismarisk.com>

* refactor(server/fence): migrate metrics calls to Reporter; touch last_leader_transition

Signed-off-by: Sebastian Thiebaud <sebastian@prismarisk.com>

* refactor(server/leader_hint): migrate not_leader counter to Reporter

Signed-off-by: Sebastian Thiebaud <sebastian@prismarisk.com>

* refactor(s... (continued)

14168 of 14929 relevant lines covered (94.9%)

367149.94 hits per line

Source Files on job 26492297547.1