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

Builds Branch Commit Type Ran Committer Via Coverage
1488 polina/plutus corrections push Polina Vinogradova buildkite pending completion   set done
1487 HEAD Merge pull request #1059 from input-output-hk/exec_spec/shelley/cbor-cleanup-tx-tests push GitHub buildkite pending completion   set done
1486 HEAD transaction cbor cleanup push Jared Corduan buildkite pending completion   set done
1484 HEAD Merge pull request #1056 from input-output-hk/uroboros/872/gen_delegations push GitHub buildkite pending completion   set done
1483 HEAD [872] Add an explanatory comment for a strange looking type push uroboros buildkite pending completion   set done
1482 HEAD [872] Generate Delegation Certificates + Classify Traces with QC instead of HH push uroboros buildkite pending completion   set done
1478 polina/plutus ready for review? push Polina Vinogradova buildkite pending completion   set done
1477 spec/incentives-cleanup-kh small edits push Kevin Hammond buildkite pending completion   set done
1476 spec/incentives-cleanup-kh added MIR description push Kevin Hammond buildkite pending completion   set done
1475 spec/incentives-cleanup-kh incentives changes for testnet release push Kevin Hammond buildkite pending completion   set done
1474 polina/plutus Figure 11 in progress, allInsValidate should be right push Polina Vinogradova buildkite pending completion   set done
1473 HEAD Merge pull request #1041 from input-output-hk/mhuesch/fix_QuickCheck_module push GitHub buildkite pending completion   set done
1472 HEAD Fix module broken by rebase push Michael Hueschen buildkite pending completion   set done
1470 exec_spec/shelley/cbor-cert-tests test all delegation cert serializations push Jared Corduan buildkite pending completion   set done
1467 redxaxder/cddl fixup! CBOR serialization adjustments of Shelley txns push Jared Corduan buildkite pending completion   set done