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

Builds Branch Commit Type Ran Committer Via Coverage
466 uroboros/563/test-abstractsize-block-header-body [563] Test abstractSize for Block/Header/Body push uroboros buildkite pending completion   set done
464 apache-licensing Apache 2.0 license push Jared Corduan buildkite pending completion   set done
463 master Merge pull request #619 from input-output-hk/uroboros/547/utxo-trace-coverage push GitHub buildkite pending completion   set done
462 uroboros/547/utxo-trace-coverage [547] Housecleaning push uroboros buildkite pending completion   set done
461 master Add UPIEND trace generators (#618) push GitHub buildkite pending completion   set done
460 uroboros/547/utxo-trace-coverage [547] Add coverage testing for UTxO traces push uroboros buildkite pending completion   set done
459 dnadales/551-upiend-trace-generators Incorporate Ru's comments push Damian Nadales buildkite pending completion   set done
458 master Merge pull request #613 from input-output-hk/specs/shelley/audit-11042019 push GitHub buildkite pending completion   set done
457 specs/shelley/audit-11042019 addressing audit comments from April 11, 2019 push Jared Corduan buildkite pending completion   set done
456 dnadales/551-upiend-trace-generators Fix compilation errors push Damian Nadales buildkite pending completion   set done
453 master Merge pull request #611 from input-output-hk/exec_spec/shelley/relational_operators push GitHub buildkite pending completion   set done
452 exec_spec/shelley/relational_operators Use union override and union override with plus operators push Matthias Güdemann buildkite pending completion   set done
451 master Merge pull request #616 from input-output-hk/ruhatch/reenable-cross-comp push GitHub buildkite pending completion   set done
450 exec_spec/shelley/relational_operators Use union override and union override with plus operators push Matthias Güdemann buildkite pending completion   set done
449 ruhatch/reenable-cross-comp Re-enable cross-compilation targets in release.nix push Rupert Horlick buildkite pending completion   set done