Repo Added
|
Files
13
|
Badge
README BADGES
|
push
buildkite
697 of 940 relevant lines covered (74.15%)
0.74 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
22.35 | cardano-ledger-update/src/Cardano/Ledger/Assert.hs | 289 | 85 | 19 | 66 | 1.0 | |
33.33 | ...c/Cardano/Ledger/Update/Env/HasVotingPeriodsCap.hs | 24 | 3 | 1 | 2 | 1.0 | |
36.59 | ...src/Cardano/Ledger/Update/Env/StakeDistribution.hs | 175 | 41 | 15 | 26 | 1.0 | |
50.0 | ...edger-update/src/Cardano/Ledger/Update/Proposal.hs | 219 | 34 | 17 | 17 | 1.0 | |
57.14 | ...te/src/Cardano/Ledger/Update/Env/TracksSlotTime.hs | 38 | 7 | 4 | 3 | 1.0 | |
58.18 | ...update/src/Cardano/Ledger/Update/ProposalsState.hs | 258 | 55 | 32 | 23 | 1.0 | |
75.59 | ...ger-update/src/Cardano/Ledger/Update/Activation.hs | 471 | 127 | 96 | 31 | 1.0 | |
80.53 | ...edger-update/src/Cardano/Ledger/Update/Approval.hs | 379 | 113 | 91 | 22 | 1.0 | |
84.72 | ...edger-update/src/Cardano/Ledger/Update/Ideation.hs | 289 | 72 | 61 | 11 | 1.0 | |
87.8 | ...date/src/Cardano/Ledger/Update/Activation/State.hs | 824 | 246 | 216 | 30 | 1.0 |
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
709 | HEAD | Minor edit. | push | Damian Nadales | buildkite | pending completion | |
710 | HEAD | Minor edits to the READMEs (#173) | push | GitHub | buildkite | pending completion | |
707 | HEAD | Remove "Contributing" section. (#172) | push | GitHub | buildkite | pending completion | |
706 | HEAD | Remove "Contributing" section. | push | Damian Nadales | buildkite | pending completion | |
705 | HEAD | Remove formal spec directory. (#171) | push | GitHub | buildkite | pending completion | |
704 | HEAD | Remove formal spec. | push | Damian Nadales | buildkite | pending completion | |
703 | HEAD | Document the implementation (#170) | push | GitHub | buildkite | pending completion | |
702 | HEAD | Modify link to implementation README. | push | Damian Nadales | buildkite | pending completion | |
700 | HEAD | Explain coverage, benchmarks, and worst case analysis. | push | Damian Nadales | buildkite | pending completion | |
699 | HEAD | Explain why do we have `s` and `t` parameters in `Trace`. | push | Damian Nadales | buildkite | pending completion |