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

Builds Branch Commit Type Ran Committer Via Coverage
888 polina/updateprose Merge branch 'master' into polina/updateprose push GitHub buildkite pending completion   set done
887 mhuesch/806 Fix TH path issue for GHCi & Windows push Michael Hueschen buildkite pending completion   set done
886 polina/updateprose comments addressed, update explained push Polina Vinogradova buildkite pending completion   set done
885 uroboros/823/sync_poolreap_sts [823] POOLREAP STS - further align with formal spec push uroboros buildkite pending completion   set done
884 mhuesch/806 Bump goblins dep to drop `addDependentFile` push Michael Hueschen buildkite pending completion   set done
883 mhuesch/806 Bump goblins dep to drop `addDependentFile` push Michael Hueschen buildkite pending completion   set done
882 master Merge pull request #822 from input-output-hk/shelley/exec_spec/pool_properties push GitHub buildkite pending completion   set done
881 master Merge pull request #818 from input-output-hk/spec/shelley/initial-gen-operational-cert-counters push GitHub buildkite pending completion   set done
880 spec/shelley/initial-gen-operational-cert-counters Issue #643 - initial genesis key op cert counters push Jared Corduan buildkite pending completion   set done
879 spec/shelley/initial-gen-operational-cert-counters review changes push Jared Corduan buildkite pending completion   set done
878 dcoutts/metadata-proposal Add first draft of a proposal to add metadata to txs push Duncan Coutts buildkite pending completion   set done
877 shelley/exec_spec/pool_properties Implement pool retirement property push Matthias Güdemann buildkite pending completion   set done
876 spec/shelley/initial-gen-operational-cert-counters review changes push Jared Corduan buildkite pending completion   set done
875 master Merge pull request #820 from input-output-hk/shelley/exec_spec/delegation_properties push GitHub buildkite pending completion   set done
874 master Merge pull request #819 from input-output-hk/uroboros/747/sync_bbody_sts push GitHub buildkite pending completion   set done