input-output-hk / decentralized-software-updates / 528

Builds Branch Commit Type Ran Committer Via Coverage
528 HEAD minors push michele buildkite pending completion   set done
526 HEAD intro changes for the software updates problem and the scope of our work push nkarag buildkite pending completion   set done
525 HEAD minors push michele buildkite pending completion   set done
523 HEAD minors push michele buildkite pending completion   set done
521 HEAD camera ready folder push michele buildkite pending completion   set done
507 HEAD - Remove SIP from ideation submission payload. - Add `module Cardano.Ledger.Update.Proposal`, which abstracts away the data needed by the update mechanism. Now there's no need to deal with hashes and signatures. - Concrete data is not removed ... push Damian Nadales buildkite pending completion   set done
506 HEAD - Remove SIP from ideation submission payload. - Add `module Cardano.Ledger.Update.Proposal`, which abstracts away the data needed by the update mechanism. Now there's no need to deal with hashes and signatures. - Concrete data is not removed ... push Damian Nadales buildkite pending completion   set done
505 HEAD Invert dependency HasVotingPeriodCap to ProposalState. push Damian Nadales buildkite pending completion   set done
500 HEAD Add `module Cardano.Ledger.Update.Proposal` [skip ci] push Damian Nadales buildkite pending completion   set done
499 HEAD - 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.t... push Damian Nadales buildkite pending completion   set done
498 HEAD - 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.t... push Damian Nadales buildkite pending completion   set done
497 HEAD Remove unnecessary GHC options from stake distribution. [skip ci] push Damian Nadales buildkite pending completion   set done
496 HEAD Fix compiler warnings and benchmarks. push Damian Nadales buildkite pending completion   set done
490 HEAD Remove Chain STS's and Dummy UTxO. push Damian Nadales buildkite pending completion   set done
488 HEAD Remove property tests. [skip ci] push Damian Nadales buildkite pending completion   set done