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

Builds Branch Commit Type Ran Committer Via Coverage
357 HEAD Incorporate Neil's remarks. push Damian Nadales buildkite pending completion   set done
356 HEAD comments on performance impact section push nkarag buildkite pending completion   set done
355 HEAD Implement approval rules. (#109) push GitHub buildkite pending completion   set done
354 HEAD Incorporate Nikos's remarks. push Damian Nadales buildkite pending completion   set done
353 HEAD Minor correction. push Damian Nadales buildkite pending completion   set done
352 HEAD Remove the number of voting periods from the analysis and add the voting days as parameter. push Damian Nadales buildkite pending completion   set done
351 HEAD Regenerate nix. push Damian Nadales buildkite pending completion   set done
349 HEAD Initial write-up on how to estimate the impact of the update mechanism on the overall system performance. push Damian Nadales buildkite pending completion   set done
348 HEAD - Implement approval rules. - Create a new `Commit` module that generalizes commits for ideation and approval phases. - Bump `cardano-ledger-specs` version. - Factor out ideation specific code from `Cardano.Ledger.Spec.STS.Update.Data` to a ne... push Damian Nadales buildkite pending completion   set done
347 HEAD added algorithm2e.sty in order to compile tex to pdf push nkarag buildkite pending completion   set done
346 HEAD minors push michele buildkite pending completion   set done
345 HEAD Inline comment in proof for activation protocol push nikos buildkite pending completion   set done
343 HEAD reply to nikos comments push michele buildkite pending completion   set done
342 HEAD Nikos comments on Michele\'s revision push nikos buildkite pending completion   set done
341 HEAD proof push michele buildkite pending completion   set done