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

Builds Branch Commit Type Ran Committer Via Coverage
785 master Merge pull request #772 from input-output-hk/mhuesch/document_STS_PFs_structural_throwable push GitHub buildkite pending completion   set done
784 master Merge pull request #780 from input-output-hk/spec/shelley/typos-and-small-fixes push GitHub buildkite pending completion   set done
783 mhuesch/document_STS_PFs_structural_throwable Address PR #772 review feedback push Michael Hueschen buildkite pending completion   set done
782 spec/shelley/typos-and-small-fixes Issue #775 typos and bleeding italics push Jared Corduan buildkite pending completion   set done
781 mhuesch/document_STS_PFs_structural_throwable Address PR #772 review feedback push Michael Hueschen buildkite pending completion   set done
780 master Merge pull request #773 from input-output-hk/uroboros/733/sync_shelley_deleg_sts push GitHub buildkite pending completion   set done
779 master Better trace generators and more efficient shrink using edskos ideas (#769) push GitHub buildkite pending completion   set done
778 dndales/771-generate-invalid-upiregs Add a TODO comment push Damian Nadales buildkite pending completion   set done
777 uroboros/733/sync_shelley_deleg_sts [733] AVUP STS :heart: Relation push uroboros buildkite pending completion   set done
776 mhuesch/document_STS_PFs_structural_throwable Document throwable vs structural `PredicateFailure`s push Michael Hueschen buildkite pending completion   set done
775 mhuesch/document_STS_PFs_structural_throwable Document throwable vs structural `PredicateFailure`s push Michael Hueschen buildkite pending completion   set done
774 master Merge pull request #770 from input-output-hk/exec_spec/shelley/avup-sync push GitHub buildkite pending completion   set done
772 exec_spec/shelley/avup-sync Issue #730 - sync AVUP push Jared Corduan buildkite pending completion   set done
771 exec_spec/shelley/avup-sync Issue #730 - sync AVUP push Jared Corduan buildkite pending completion   set done
770 exec_spec/shelley/avup-sync Issue #730 - sync AVUP push Jared Corduan buildkite pending completion   set done