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

Builds Branch Commit Type Ran Committer Via Coverage
523 exec_spec/shelley/small-chain-sts-test stack2nix push Jared Corduan buildkite pending completion   set done
522 exec_spec/shelley/small-chain-sts-test Issue #637: simple Shelley CHAIN STS test push Jared Corduan buildkite pending completion   set done
521 shelley/exec_spec/multi-signature Run stylish push Matthias Güdemann buildkite pending completion   set done
520 mdimjasevic/263-utxo-properties Issue #263: WIP on no double spending property push Marko Dimjašević buildkite pending completion   set done
519 mdimjasevic/263-utxo-properties Merge pull request #636 from input-output-hk/erikd/updates push GitHub buildkite pending completion   set done
518 master Merge pull request #636 from input-output-hk/erikd/updates push GitHub buildkite pending completion   set done
517 erikd/updates Nix voodoo push Erik de Castro Lopo buildkite pending completion   set done
515 erikd/updates Update dependencies push Erik de Castro Lopo buildkite pending completion   set done
514 master Merge pull request #633 from input-output-hk/shelley/specs/multi-sig-staking push GitHub buildkite pending completion   set done
513 master Support for invalid signal generation and traces with failure profiles (#632) push GitHub buildkite pending completion   set done
512 shelley/specs/multi-sig-staking Prose, better explanations and rule changes push Matthias Güdemann buildkite pending completion   set done
509 shelley/specs/multi-sig-staking Add notes on tagging for hashing in lower level representation push Matthias Güdemann buildkite pending completion   set done
508 shelley/specs/multi-sig-staking Adapt `witsneeded` and `UTXOW` STS rule for multi sig push Matthias Güdemann buildkite pending completion   set done
507 dnadales/604-add-support-for-mutated-traces Fix `cs-blockchain` push Damian Nadales buildkite pending completion   set done
505 mdimjasevic/263-utxo-properties Merge pull request #631 from input-output-hk/weeder/reduce_weeder_warnings push GitHub buildkite pending completion   set done