input-output-hk / cardano-ledger-specs / 661

Builds Branch Commit Type Ran Committer Via Coverage
661 dnadales/536-fix-pvbump Add tests for the pair-list instance of `Relation` push Damian Nadales buildkite pending completion   set done
660 dnadales/536-fix-pvbump Wake up Hydra push Damian Nadales buildkite pending completion   set done
659 dnadales/536-fix-pvbump Do CI push Damian Nadales buildkite pending completion   set done
658 dnadales/536-fix-pvbump Update prose push Damian Nadales buildkite pending completion   set done
657 dnadales/536-fix-pvbump Merge branch 'master' of github.com:input-output-hk/cardano-ledger-specs into dnadales/536-fix-pvbump push Damian Nadales buildkite pending completion   set done
656 dnadales/536-fix-pvbump Add a constant `c` to `GlobalParams` which is used to bound the concrete size. push Damian Nadales buildkite pending completion   set done
655 exec_spec/shelley/non-trivial-rewards apply non-trivial reward example push Jared Corduan buildkite pending completion   set done
653 master Merge pull request #692 from input-output-hk/exec_spec/shelley/vrf-keys push GitHub buildkite pending completion   set done
652 master Merge pull request #697 from input-output-hk/shelley/spec/multi-sig/audit_29_7 push GitHub buildkite pending completion   set done
651 exec_spec/shelley/vrf-keys Issue #691 - Add VRF keys to shelley exec model push Jared Corduan buildkite pending completion   set done
650 shelley/spec/multi-sig/audit_29_7 Take into account audit review comments from 29/7/2019 push Matthias Güdemann buildkite pending completion   set done
649 exec_spec/shelley/vrf-keys review changes push Jared Corduan buildkite pending completion   set done
647 master Merge pull request #693 from input-output-hk/shelley/exec_spec/examples_multi-sig push GitHub buildkite pending completion   set done
646 philipp/multi-sig-delegation Add TODO note on structure of addresses section push Duncan Coutts buildkite pending completion   set done
644 shelley/exec_spec/examples_multi-sig Adapt `makeTxBody` with `(Addr, Coin)` pairs for flexibility push Matthias Güdemann buildkite pending completion   set done