input-output-hk / cardano-ledger-specs / 1180
68%
master: 51%

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

push

buildkite

Damian Nadales 
Use Isabelle version 2018.

2822 of 4160 relevant lines covered (67.84%)

0.68 hits per line

Jobs
ID Job ID Ran Files Coverage
1 1180.1 0
67.84
Source Files on build 1180
Detailed source file information is not available for this build.