498
74%
master: 74%

Ran 11 Jun 2020 12:05PM UTC

Jobs 1

Files 17

Run time 2s

Badge

Embed ▾

pending completion

Build # 498

Build Type

push

buildkite

Committed by Damian Nadales

Commit Message

- Remove the Ideation STS in favor of a module that simply applies function to   the ideation state. - Remove Implementation module. - Abstract proposal state tick function over the environment and implement new   `Cardano.Ledger.Update.Ideation.tick` function. - Introduce a `HasVotingPeriodsCap` typeclass. - Remove all belly fat that Ideation STS required. - Check invariants in the stake distribution data type. - Remove the use of STS / operational semantics.   - Implement the approval phase in the same manner as the ideation phase.   - Replace Approval STS by Approval module.   - Remove Approval and TallySimplVotes STS's.   - Move `ActivationState` to `Cardano.Ledger.Update.Activation`.   - Remove the use of Sized and Sizeable modules. - Create `module Cardano.Ledger.Update` module, which serves as the interface to   the update system. - Remove other unnecessary modules.

Run Details

636 of 930 relevant lines covered (68.39%)

0.68 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	498.1	11 Jun 2020 12:05PM UTC	0	68.39

Source Files on build 498

Detailed source file information is not available for this build.

input-output-hk / decentralized-software-updates / 498
74%
master: 74%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 498

input-output-hk / decentralized-software-updates / 498 74% master: 74%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 498

input-output-hk / decentralized-software-updates / 498
74%
master: 74%

README BADGES
x