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

Builds Branch Commit Type Ran Committer Via Coverage
504 master Merge pull request #631 from input-output-hk/weeder/reduce_weeder_warnings push GitHub buildkite pending completion   set done
503 weeder/reduce_weeder_warnings Weeder: update nix hocus pocus push Matthias Güdemann buildkite pending completion   set done
502 weeder/reduce_weeder_warnings Weeder: reduce exported weeds push Matthias Güdemann buildkite pending completion   set done
501 shelley/specs/multi-sig-staking Add `StakeDelegs` type combining key and script hashes for staking push Matthias Güdemann buildkite pending completion   set done
500 master Merge pull request #630 from input-output-hk/mdimjasevic/517-mv-keyhash push GitHub buildkite pending completion   set done
499 mdimjasevic/517-mv-keyhash Issue #517: renames HashKey to KeyHash push Marko Dimjašević buildkite pending completion   set done
498 mdimjasevic/517-mv-keyhash Merge pull request #624 from input-output-hk/apache-licensing push GitHub buildkite pending completion   set done
495 master Merge pull request #624 from input-output-hk/apache-licensing push GitHub buildkite pending completion   set done
494 master Make initial environment generators trace-length aware (#627) push GitHub buildkite pending completion   set done
493 dnadales/617-initial-environment-from-trace-length Adapt the formal spec according to the executable spec push Damian Nadales buildkite pending completion   set done
492 dnadales/617-initial-environment-from-trace-length Tweaks before PR push Damian Nadales buildkite pending completion   set done
490 philipp/multi-sig-delegation WIP: Work on the diagrams push Philipp Kant buildkite pending completion   set done
489 philipp/multi-sig-delegation Start removing the term staking key push Philipp Kant buildkite pending completion   set done
488 philipp/multi-sig-delegation Update delegation relation. push Philipp Kant buildkite pending completion   set done
487 philipp/multi-sig-delegation Update Stake pool registration. push Philipp Kant buildkite pending completion   set done