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

Builds Branch Commit Type Ran Committer Via Coverage
687 exec_spec/shelley/update-proposal-and-cleanup-nonces code review push Jared Corduan buildkite pending completion   set done
684 shelley/exec_spec/recursive_STS_rules Fix sequence of sub-rules in `LEDGER` in formal spec push Matthias Güdemann buildkite pending completion   set done
685 exec_spec/shelley/update-proposal-and-cleanup-nonces Update shelley/chain-and-ledger/executable-spec/test/STSTests.hs push GitHub buildkite pending completion   set done
683 shelley/exec_spec/recursive_STS_rules Adapt examples after change in rule push Matthias Güdemann buildkite pending completion   set done
682 erikd/update-deps Nix voodoo push Erik de Castro Lopo buildkite pending completion   set done
680 erikd/update-deps Adapt to use of `Signable` for serialization push Matthias Güdemann buildkite pending completion   set done
678 master Merge pull request #707 from input-output-hk/uroboros/706/recalibrate-coverage-metrics push GitHub buildkite pending completion   set done
672 shelley/exec_spec/recursive_STS_rules Change `[Tx]` to `Data.Sequence Tx` in `Block` push Matthias Güdemann buildkite pending completion   set done
671 master Revert stability check when bumping software versions push GitHub buildkite pending completion   set done
670 dnadales/remove-stability-check-when-bumping-avs Update the formal spec. push Damian Nadales buildkite pending completion   set done
669 dnadales/remove-stability-check-when-bumping-avs Revert stability check when bumping software versions. push Damian Nadales buildkite pending completion   set done
668 master Fix errors discovered during conformance testing (#700) push GitHub buildkite pending completion   set done
666 dnadales/536-fix-pvbump Fix errors discovered during conformance testing of valid chains against the implementation in `cardano-ledger`. push Damian Nadales buildkite pending completion   set done
665 exec_spec/shelley/update-proposal-and-cleanup-nonces adding a ppara update proposal to the examples push Jared Corduan buildkite pending completion   set done
662 master Merge pull request #699 from input-output-hk/exec_spec/shelley/non-trivial-rewards push GitHub buildkite pending completion   set done