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

Builds Branch Commit Type Ran Committer Via Coverage
402 dnadales/550-write-upivotes-generators Tweaks before PR. push Damian Nadales buildkite pending completion   set done
401 master Merge pull request #592 from input-output-hk/uroboros/536/test-relation-instances push GitHub buildkite pending completion   set done
399 exec_spec/shelley/update_mechanism Remove `UPIState` from executable specification push Matthias Güdemann buildkite pending completion   set done
398 uroboros/536/test-relation-instances [536] Add props for Relation.Range + decouple properties push uroboros buildkite pending completion   set done
397 exec_spec/shelley/update_mechanism Remove `UPIState` from executable specification push Matthias Güdemann buildkite pending completion   set done
396 exec_spec/shelley/update_mechanism Adapt property-based test for redundant witnesses push Matthias Güdemann buildkite pending completion   set done
395 exec_spec/shelley/update_mechanism Adapt `BBODY` STS rule push Matthias Güdemann buildkite pending completion   set done
394 exec_spec/shelley/update_mechanism Adapt `BBODY` STS rule push Matthias Güdemann buildkite pending completion   set done
393 philipp/multi-sig-delegation Stake address registration certificates push Philipp Kant buildkite pending completion   set done
392 philipp/multi-sig-delegation Stake address registration certificates push Philipp Kant buildkite pending completion   set done
391 master Align the UP*VOTE formal and executable specs (#591) push GitHub buildkite pending completion   set done
390 exec_spec/shelley/update_mechanism Fixes for compilation and layout push Matthias Güdemann buildkite pending completion   set done
389 master Merge pull request #590 from input-output-hk/erikd/Werror push GitHub buildkite pending completion   set done
388 erikd/Werror stack2nix majick push Erik de Castro Lopo buildkite pending completion   set done
384 philipp/multi-sig-delegation Adapt rest of the address structure section push Philipp Kant buildkite pending completion   set done