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

Builds Branch Commit Type Ran Committer Via Coverage
1189 spec/incentives-kh updated version push Kevin Hammond buildkite pending completion   set done
1188 mhuesch/870 [#870] Address PR feedback: factor out to `Rules.TestPool` push Michael Hueschen buildkite pending completion   set done
1183 mhuesch/870 [#870] Generate `RegPool` DCerts push Michael Hueschen buildkite pending completion   set done
1180 dnadales/build-and-publish-isabelle-artifacts Use Isabelle version 2018. push Damian Nadales buildkite pending completion   set done
1179 nc/shelley fixup! Migrate operational certificate issue numbersThese are now purely a protocol concern, and are not updated in the legdger rules. push Nicholas Clarke buildkite pending completion   set done
1178 nc/shelley Migrate operational certificate issue numbersThese are now purely a protocol concern, and are not updated in the legdger rules. push Nicholas Clarke buildkite pending completion   set done
1176 nc/shelley Address the issue of the first slot in an epoch not being filled. push Nicholas Clarke buildkite pending completion   set done
1175 master Merge pull request #945 from input-output-hk/uroboros/867/generate_pparams push GitHub buildkite pending completion   set done
1174 spec/incentives-kh added mainnet calcs push Kevin Hammond buildkite pending completion   set done
1173 nc/shelley Move nonce related calculations into protocol rules push Nicholas Clarke buildkite pending completion   set done
1172 nc/shelley Move nonce related calculations into protocol rules push Nicholas Clarke buildkite pending completion   set done
1170 uroboros/867/generate_pparams bump haskell nix version push uroboros buildkite pending completion   set done
1171 spec/incentives-kh back to correct version push Kevin Hammond buildkite pending completion   set done
1169 uroboros/867/generate_pparams [867] Generate PParams - explicit generation of some bounds, special range for d param push uroboros buildkite pending completion   set done
1167 spec/incentives-kh add gitattributes push Kevin Hammond buildkite pending completion   set done