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

Builds Branch Commit Type Ran Committer Via Coverage
1116 mhuesch/869 [#869] Address PR feedback push Michael Hueschen buildkite pending completion   set done
1115 master Merge pull request #913 from input-output-hk/nc/praos-int push GitHub buildkite pending completion   set done
1114 shelley/executable_spec/instantaneous_rewards Adapt examples with extended `RewardUpdate` type push Matthias Güdemann buildkite pending completion   set done
1113 spec/coverpage-kh included change log from MD file push Kevin Hammond buildkite pending completion   set done
1110 nc/praos-int Add further FromCBOR instances push Nicholas Clarke buildkite pending completion   set done
1109 master Merge pull request #924 from input-output-hk/erikd/deps-20191009 push GitHub buildkite pending completion   set done
1107 erikd/deps-20191009 Update dependencies push Erik de Castro Lopo buildkite pending completion   set done
1108 erikd/deps-20191009 Nix voodoo push Erik de Castro Lopo buildkite pending completion   set done
1106 master Merge pull request #923 from input-output-hk/ignore-pdfs push GitHub buildkite pending completion   set done
1105 ignore-pdfs ignore PDFs push Jared Corduan buildkite pending completion   set done
1104 spec/coverpage-kh KH: added standard frontmatter push Kevin Hammond buildkite pending completion   set done
1103 polina/props comments addressed push Polina Vinogradova buildkite pending completion   set done
1102 master Formalize Proof of No Double-Spending Property (#921) push GitHub buildkite pending completion   set done
1101 mhuesch/869 [#869] Add DeRegKey generator & property push Michael Hueschen buildkite pending completion   set done
1100 shelley/executable_spec/instantaneous_rewards Update Mutator with new certificate type push Matthias Güdemann buildkite pending completion   set done