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

Builds Branch Commit Type Ran Committer Via Coverage
1038 dnadales/to-cbor-instances Bump `iohk-nix`. push Damian Nadales buildkite pending completion   set done
1026 shelley/tests/utxo_rule Add property check for non-decreasing fees in `UTXO` push Matthias Güdemann buildkite pending completion   set done
1025 shelley/tests/delegs_test Add `TestDelegs` module push Matthias Güdemann buildkite pending completion   set done
1024 master Merge pull request #886 from input-output-hk/shelley/tests/refactor_utils push GitHub buildkite pending completion   set done
1023 master Merge pull request #853 from input-output-hk/polina/properties push GitHub buildkite pending completion   set done
1022 dnadales/to-cbor-instances - Remove `instance ToCBOR SKey` - Add `instance ToCBOR VKey` push Damian Nadales buildkite pending completion   set done
1021 shelley/tests/refactor_utils Take Damian's review comments into account push Matthias Güdemann buildkite pending completion   set done
1020 shelley/tests/refactor_utils Wrap source / signal / target triples in proper type push Matthias Güdemann buildkite pending completion   set done
1015 dnadales/787-additional-operators-needed-for-max-sizes-conformance-tests Add isHeaderSizeTooBigFailure function. push Damian Nadales buildkite pending completion   set done
1011 dnadales/787-additional-operators-needed-for-max-sizes-conformance-tests Use `ofLengthAtLeast` in the Shelley delegation tests. push Damian Nadales buildkite pending completion   set done
1010 polina/properties dms property and comments addressed push Polina Vinogradova buildkite pending completion   set done
1008 shelley/spec/transfer_rewards Check that protocol parameter update preserve enough reserves push Matthias Güdemann buildkite pending completion   set done
1007 uroboros/844/ledger_sts_trace_generator [844] Tighten things up a bit in response to review push uroboros buildkite pending completion   set done
1006 spec/khedits/multi-sig Comment-out last todonotes push Matthias Güdemann buildkite pending completion   set done
1004 spec/khedits/non-integral Undo deliverable formatting push Matthias Güdemann buildkite pending completion   set done