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

prisma-risk / tsoracle / 26461681074
95%

Build:
DEFAULT BRANCH: main
Ran 26 May 2026 04:43PM UTC
Jobs 1
Files 88
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

26 May 2026 04:37PM UTC coverage: 95.444%. Remained the same
26461681074

push

github

web-flow
docs(proto): expand and correct service/RPC/field comments (#492)

Bring the four `.proto` files up to contract-level documentation, verified
against the implementation:

- tso.proto: document the TsoService monotonicity guarantee, GetTs's
  leader-only contract + FAILED_PRECONDITION/`tsoracle-leader-hint-bin`
  trailer protocol, and the per-node-monotone epoch semantics.

- admin.proto: full pass on the previously-undocumented surface. Service
  preamble (openraft-only, leader-only mutators, idempotency, internal
  serialization), per-RPC error sets verified against
  `admin/openraft.rs::map_write_error`, per-field semantics for the three
  address planes, `has_leader`+`leader` Option<u64> encoding note, and
  expanded every AdminErrorKind variant. NOT_CAUGHT_UP and TIMEOUT marked
  reserved — the current openraft impl folds those upstream errors into
  DRIVER rather than producing typed kinds.

- raft_peer.proto: per-RPC line for AppendEntries/Vote/Snapshot/
  TransferLeader, RaftMessage envelope comment, format_version u32-storage
  rationale, and the data-chunk concatenation rule.

- paxos_peer.proto: replace the loose "fire-and-forget unary" wording with
  the accurate behavior (unary, client awaits an empty Ack), document the
  cached-channel eviction on RPC failure, and add per-message comments.

13261 of 13894 relevant lines covered (95.44%)

378705.32 hits per line

Jobs
ID Job ID Ran Files Coverage
1 26461681074.1 26 May 2026 04:43PM UTC 88
95.44
GitHub Action Run
Source Files on build 26461681074
  • Tree
  • List 88
  • Changed 0
  • Source Changed 0
  • Coverage Changed 0
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • Github Actions Build #26461681074
  • 7d99a5e5 on github
  • Prev Build on main (#26456784837)
  • Next Build on main (#26462202659)
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