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

Builds Branch Commit Type Ran Committer Via Coverage
821 uroboros/738/sync_shelley_newpp_sts [738] NEWPP STS - in the exec. spec use firstSlot (as in formal spec) push uroboros buildkite pending completion   set done
820 uroboros/737/sync_shelley_snap_sts [737] SNAP STS - use record syntax when updating the STS state push uroboros buildkite pending completion   set done
817 master Merge pull request #794 from input-output-hk/mhuesch/fix-stylish-haskell push GitHub buildkite pending completion   set done
816 shelley/spec/adapt_properties Update numerical proofs in appendix push Matthias Güdemann buildkite pending completion   set done
814 master Remove PVBUMP tests (#795) push GitHub buildkite pending completion   set done
813 shelley/spec/adapt_properties Change accessor functions for delegation properties push Matthias Güdemann buildkite pending completion   set done
812 dnadales/790-remove-pvbump-properties-and-tests Remove PVBUMP tests push Damian Nadales buildkite pending completion   set done
811 shelley/spec/adapt_properties Update description of UTXOW properties push Matthias Güdemann buildkite pending completion   set done
810 mhuesch/fix-stylish-haskell Fix my non-convention-following changeset push Michael Hueschen buildkite pending completion   set done
809 master Merge pull request #789 from input-output-hk/shelley/spec/merge_multi-sig push GitHub buildkite pending completion   set done
808 shelley/spec/merge_multi-sig Change "stake key" -> "stake credential" in text push Matthias Güdemann buildkite pending completion   set done
807 shelley/spec/merge_multi-sig Change "stake key" -> "stake credential" in text push Matthias Güdemann buildkite pending completion   set done
806 master Update bib entry URL in blockchain-spec #790 (#791) push GitHub buildkite pending completion   set done
805 master Merge pull request #784 from input-output-hk/exec_spec/shelley/fix-pointer-addresses push GitHub buildkite pending completion   set done
804 790-update-bib-entry-in-blockchain-spec Update bib entry URL in blockchain-spec #790 push Damian Nadales buildkite pending completion   set done