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

Builds Branch Commit Type Ran Committer Via Coverage
1813 HEAD Get updated KES mock implementation push Matthias Güdemann buildkite pending completion   set done
1812 HEAD Import the Byron CDDL from the cardano-sl repo push Jared Corduan buildkite pending completion   set done
1811 HEAD Get updated KES mock implementation push Matthias Güdemann buildkite pending completion   set done
1810 HEAD Merge pull request #1180 from input-output-hk/shelley/exec_spec/KES_functions push GitHub buildkite pending completion   set done
1809 HEAD Merge pull request #1182 from input-output-hk/shelley/exec_spec/complete_globals push GitHub buildkite pending completion   set done
1808 HEAD Remove duplicated code for `epochFromSlot` push Matthias Güdemann buildkite pending completion   set done
1807 HEAD Remove duplicated code for `epochFromSlot` push Matthias Güdemann buildkite pending completion   set done
1806 HEAD Remove use of `fromJust` in `mkBlock` push Matthias Güdemann buildkite pending completion   set done
1805 HEAD Import the Byron CDDL from the cardano-sl repo push Duncan Coutts buildkite pending completion   set done
1803 HEAD Add KES key evolution helper to `Test.Utils` push Matthias Güdemann buildkite pending completion   set done
1801 HEAD Merge pull request #1179 from input-output-hk/jc/874/generate-withdrawals push GitHub buildkite pending completion   set done
1800 HEAD review push Jared Corduan buildkite pending completion   set done
1799 HEAD Merge pull request #1178 from input-output-hk/uroboros/1137/wire_up_properties push GitHub buildkite pending completion   set done
1798 HEAD [1137] Rephrase rewardDecreaseEqualsTreasuryRewardPot as preservationOfAda push uroboros buildkite pending completion   set done
1797 HEAD generate reward withdrawals push Jared Corduan buildkite pending completion   set done