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

Builds Branch Commit Type Ran Committer Via Coverage
751 exec_spec/shelley/ppup-predicates code review push Jared Corduan buildkite pending completion   set done
750 exec_spec/shelley/ppup-predicates code review push Jared Corduan buildkite pending completion   set done
749 exec_spec/shelley/ppup-predicates Issue #729 Sync executable with formal spec - PPUP push Jared Corduan buildkite pending completion   set done
746 master Merge pull request #761 from input-output-hk/uroboros/731/sync_shelley_utxo_sts push GitHub buildkite pending completion   set done
731 spec/shelley/typos-issue-749 Issue #749 fix typos push Jared Corduan buildkite pending completion   set done
728 dnadales/711-initial-scaffolding-invalid-chain-conformance-tests Make `small-steps` build again. push Damian Nadales buildkite pending completion   set done
723 shelley/exec_spec/refund_calculation Remove occurrence of `REWARD` STS rule push Matthias Güdemann buildkite pending completion   set done
722 shelley/exec_spec/refund_calculation Adapt existing examples for `CHAIN` application push Matthias Güdemann buildkite pending completion   set done
719 master Merge pull request #720 from input-output-hk/exec_spec/shelley/app-version-update-examples push GitHub buildkite pending completion   set done
718 exec_spec/shelley/app-version-update-examples Issue #719 - add examples for AVUP and fix AVUP push Jared Corduan buildkite pending completion   set done
717 exec_spec/shelley/app-version-update-examples Issue #719 - add examples for AVUP and fix AVUP push Jared Corduan buildkite pending completion   set done
714 exec_spec/shelley/app-version-update-examples Issue #719 - add examples for AVUP and fix AVUP push Jared Corduan buildkite pending completion   set done
710 master Merge pull request #714 from input-output-hk/exec_spec/shelley/update-examples push GitHub buildkite pending completion   set done
709 exec_spec/shelley/update-examples code review push Jared Corduan buildkite pending completion   set done
708 master Merge pull request #715 from input-output-hk/csoroz/fix_approx_versions push GitHub buildkite pending completion   set done