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

Builds Branch Commit Type Ran Committer Via Coverage
1005 spec/khedits/non-integral Undo deliverable formatting push Matthias Güdemann buildkite pending completion   set done
1002 master Merge pull request #882 from input-output-hk/erikd/deps-20190923 push GitHub buildkite pending completion   set done
1000 erikd/deps-20190923 Update dependencies push Erik de Castro Lopo buildkite pending completion   set done
1001 erikd/deps-20190923 Nix voodoo push Erik de Castro Lopo buildkite pending completion   set done
999 master Merge pull request #865 from input-output-hk/mhuesch/integrate-goblins push GitHub buildkite pending completion   set done
998 mhuesch/integrate-goblins [#788][#817] Address PR feedback push Michael Hueschen buildkite pending completion   set done
997 shelley/spec/transfer_rewards Check for enough reserves / deduct key deposits push Matthias Güdemann buildkite pending completion   set done
996 master Merge pull request #866 from input-output-hk/mhuesch/gitignore push GitHub buildkite pending completion   set done
995 uroboros/844/ledger_sts_trace_generator [844] First Trace generator for LEDGER STS - generates simple transactions with (occasional) RegKey dcerts push uroboros buildkite pending completion   set done
994 mhuesch/gitignore Gitignore .ghc.environment push Michael Hueschen buildkite pending completion   set done
992 mhuesch/integrate-goblins [#788][#817] Set up for DCert conformance testing push Michael Hueschen buildkite pending completion   set done
991 shelley/spec/transfer_rewards Move update of instantaneous rewards to create/apply update push Matthias Güdemann buildkite pending completion   set done
989 dnadales/787-additional-operators-needed-for-max-sizes-conformance-tests Define `lastSignal` and `traceInit`, which are needed for https://github.com/input-output-hk/cardano-ledger-specs/issues/787 push Damian Nadales buildkite pending completion   set done
987 spec/khedits/multi-sig checked over, fixed pdfsync-induced problem with formatting push Kevin Hammond buildkite pending completion   set done
985 master Check the signature of the delegation certificate in the `SDELEG` rule. (#863) push GitHub buildkite pending completion   set done