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

Builds Branch Commit Type Ran Committer Via Coverage
1166 spec/incentives-kh using LSF push Kevin Hammond buildkite pending completion   set done
1165 uroboros/867/generate_pparams [867] Generate PParams push uroboros buildkite pending completion   set done
1164 spec/incentives-kh added missing file push Kevin Hammond buildkite pending completion   set done
1163 master Merge pull request #937 from input-output-hk/topic/deps-20190114 push GitHub buildkite pending completion   set done
1162 topic/deps-20190114 Nix voodoo push Erik de Castro Lopo buildkite pending completion   set done
1157 topic/deps-20190114 Nix voodoo push Erik de Castro Lopo buildkite pending completion   set done
1150 jdiaz/utxo-diff-proof Initial version push Javier Díaz buildkite pending completion   set done
1148 master Merge pull request #933 from input-output-hk/specs/shelley/small-edits push GitHub buildkite pending completion   set done
1147 specs/shelley/small-edits review changes push Jared Corduan buildkite pending completion   set done
1146 spec/incentives-kh first version of incentives push Kevin Hammond buildkite pending completion   set done
1144 specs/shelley/small-edits Update shelley/chain-and-ledger/formal-spec/chain.tex push GitHub buildkite pending completion   set done
1145 specs/shelley/small-edits Update shelley/chain-and-ledger/formal-spec/transactions.tex push GitHub buildkite pending completion   set done
1142 dnadales/679-fix-add-votes-discrepancy Check that the vote issuers are delegates of genesis keys. push Damian Nadales buildkite pending completion   set done
1141 nc/shelley Add `BlockNo` to the block header. push Nicholas Clarke buildkite pending completion   set done
1140 master Merge pull request #932 from input-output-hk/dnadales/657-increase-alreadyproposedsv-coverage push GitHub buildkite pending completion   set done