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

Builds Branch Commit Type Ran Committer Via Coverage
969 erikd/deps-20190916 Nix voodoo push Erik de Castro Lopo buildkite pending completion   set done
968 erikd/deps-20190916 Update dependencies push Erik de Castro Lopo buildkite pending completion   set done
965 shelley/exec_spec/utxow_properties Add proprty to check for double spend in UTXOW transitions push Matthias Güdemann buildkite pending completion   set done
964 spec/shelley/properties Added a multi-sig property push GitHub buildkite pending completion   set done
963 khedits merged in MG comments push Kevin Hammond buildkite pending completion   set done
962 khedits IOHK logo push Kevin Hammond buildkite pending completion   set done
961 khedits minor push Kevin Hammond buildkite pending completion   set done
960 khedits KH: added standard font files push Kevin Hammond buildkite pending completion   set done
959 khedits fixed consistency issues push Kevin Hammond buildkite pending completion   set done
958 khedits Merge branch 'khedits' of https://github.com/input-output-hk/cardano-ledger-specs into khedits push Kevin Hammond buildkite pending completion   set done
957 khedits Merge branch 'khedits' of https://github.com/input-output-hk/cardano-ledger-specs into khedits push Kevin Hammond buildkite pending completion   set done
956 khedits Merge branch 'khedits' of https://github.com/input-output-hk/cardano-ledger-specs into khedits push Kevin Hammond buildkite pending completion   set done
955 khedits minor changes to header push Kevin Hammond buildkite pending completion   set done
954 khedits minor push Kevin Hammond buildkite pending completion   set done
953 khedits Merge branch 'khedits' of https://github.com/input-output-hk/cardano-ledger-specs into khedits push Kevin Hammond buildkite pending completion   set done