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

Builds Branch Commit Type Ran Committer Via Coverage
643 exec_spec/shelley/vrf-keys Issue #691 - Add VRF keys to shelley exec model push Jared Corduan buildkite pending completion   set done
642 master Merge pull request #673 from input-output-hk/exec_spec/shelley/new-epoch-example push GitHub buildkite pending completion   set done
641 master Merge pull request #690 from input-output-hk/shelley/spec/sts_failures push GitHub buildkite pending completion   set done
639 exec_spec/shelley/new-epoch-example review changes push Jared Corduan buildkite pending completion   set done
638 shelley/spec/sts_failures Potential predicate failure for `BBODY` rule push Matthias Güdemann buildkite pending completion   set done
637 dnadales/536-fix-pvbump Rename `UPIVOTES` to `APPLYVOTES` so that we can: push Damian Nadales buildkite pending completion   set done
636 dnadales/536-fix-pvbump Correct comments. push Damian Nadales buildkite pending completion   set done
635 exec_spec/shelley/new-epoch-example CHAIN transition to trigger new epoch transition push Jared Corduan buildkite pending completion   set done
633 dnadales/536-fix-pvbump - Count the block endorsement when registering it (and not in the next block). - Vanish cfmThd push Damian Nadales buildkite pending completion   set done
632 master Merge pull request #671 from input-output-hk/ruhatch/extract-epoch push GitHub buildkite pending completion   set done
631 master Merge pull request #672 from input-output-hk/exec_spec/shelley/getting-stylish push GitHub buildkite pending completion   set done
630 exec_spec/shelley/getting-stylish remove blank lines at top of file push Jared Corduan buildkite pending completion   set done
628 exec_spec/shelley/getting-stylish explicit imports push Jared Corduan buildkite pending completion   set done
627 ruhatch/extract-epoch [#670] Update Byron exec spec with EPOCH and BHEAD change push Rupert Horlick buildkite pending completion   set done
626 shelley/demo/multi-sig Adapt imports to new structure push Matthias Güdemann buildkite pending completion   set done