input-output-hk / cardano-ledger-specs / 924
69%
master: 51%

LAST BUILD BRANCH: jc/no-pool-reg-last-stability-window
DEFAULT BRANCH: master
Ran
Jobs 1
Files 68
Run time 7s
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
924

push

buildkite

Matthias Güdemann 
Add linear upper bound approximation for Praos leader election

2698 of 3897 relevant lines covered (69.23%)

0.69 hits per line

Jobs
ID Job ID Ran Files Coverage
1 924.1 0
69.23
Source Files on build 924
Detailed source file information is not available for this build.