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

Builds Branch Commit Type Ran Committer Via Coverage
919 khedits added paralist.sty - not available on Hydra push Kevin Hammond buildkite pending completion   set done
918 polina/updateprose Update shelley/chain-and-ledger/formal-spec/transactions.tex push GitHub buildkite pending completion   set done
917 master Merge pull request #846 from input-output-hk/exec_spec/shelley/pool-refends-deducted-from-deposits push GitHub buildkite pending completion   set done
916 spec/shelley/properties WIP handwritten properties push Jared Corduan buildkite pending completion   set done
915 spec/shelley/properties WIP handwritten properties push Jared Corduan buildkite pending completion   set done
914 spec/shelley/properties WIP handwritten properties push Jared Corduan buildkite pending completion   set done
913 spec/shelley/properties WIP handwritten properties push Jared Corduan buildkite pending completion   set done
912 exec_spec/shelley/pool-refends-deducted-from-deposits Issue #845 fix pool cent refund accounting push Jared Corduan buildkite pending completion   set done
911 spec/shelley/properties WIP handwritten properties push Jared Corduan buildkite pending completion   set done
910 spec/shelley/audit-review-14 Audit review #14 changes push Jared Corduan buildkite pending completion   set done
909 exec_spec/shelley/pool-refends-deducted-from-deposits Issue #845 fix pool cent refund accounting push Jared Corduan buildkite pending completion   set done
908 exec_spec/shelley/pool-refends-deducted-from-deposits preservation of ada in examples push Jared Corduan buildkite pending completion   set done
907 polina/updateprose comments addressed, still need to change VKeys to KeyHashes places push GitHub buildkite pending completion   set done
906 khedits Reference Format -- KH push Kevin Hammond buildkite pending completion   set done
905 master Merge pull request #839 from input-output-hk/exec_spec/shelley/remove-map-map-set-set push GitHub buildkite pending completion   set done