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

Builds Branch Commit Type Ran Committer Via Coverage
1099 master Merge pull request #920 from input-output-hk/shelley/specs/make_parentheses_consistent push GitHub buildkite pending completion   set done
1097 jdiaz/no-double-spending-proof Update README file push Javier Díaz buildkite pending completion   set done
1096 jdiaz/no-double-spending-proof Initial version push Javier Díaz buildkite pending completion   set done
1093 dnadales/787-change-hash-type-to-maybe-in - Use goblins for generating invalid delegation certificates. - Remove duplication in `Ledger.Delegation.Properties`. push Damian Nadales buildkite pending completion   set done
1092 shelley/specs/make_parentheses_consistent Consistently do not use parentheses for STS environments push Matthias Güdemann buildkite pending completion   set done
1091 polina/props a couple properties added push Polina Vinogradova buildkite pending completion   set done
1090 master Merge pull request #915 from input-output-hk/shelley/specs/correct_nonint_table_overview push GitHub buildkite pending completion   set done
1089 master Merge pull request #918 from input-output-hk/polina/epoch-prop push GitHub buildkite pending completion   set done
1087 polina/epoch-prop remove incorrect epoch property push Polina Vinogradova buildkite pending completion   set done
1086 dnadales/787-change-hash-type-to-maybe-in Bump goblins version on `nix` files. push Damian Nadales buildkite pending completion   set done
1085 dnadales/787-change-hash-type-to-maybe-in Make things compile on `cs-blockchain` land. push Damian Nadales buildkite pending completion   set done
1083 shelley/specs/correct_nonint_table_overview Remove checkmarks for exponentation in `poolReward` function push Matthias Güdemann buildkite pending completion   set done
1082 nc/praos-int Nobody ever expects the thunks! push Nicholas Clarke buildkite pending completion   set done
1081 nc/praos-int Nobody ever expects the thunks! push Nicholas Clarke buildkite pending completion   set done
1079 master Merge pull request #858 from input-output-hk/spec/khedits/multi-sig push GitHub buildkite pending completion   set done