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

Builds Branch Commit Type Ran Committer Via Coverage
418 intricate/bimap-0.4.0 Utilize Bimap IsList instance push Luke Nadur buildkite pending completion   set done
417 exec_spec/shelley/genesis_delegation_map_stability Adapt `DELEGS` STS rule to include future delegation mapping push Matthias Güdemann buildkite pending completion   set done
416 dnadales/550-write-upivotes-generators Retry hydra. push Damian Nadales buildkite pending completion   set done
415 dnadales/511-test-dcerts-cannot-be-replayed Add property: there are no duplicated delegation certificates in the `DBLOCK` traces push Damian Nadales buildkite pending completion   set done
414 dnadales/511-test-dcerts-cannot-be-replayed Explain in the README how to select which tests to runactivefinalizers push Damian Nadales buildkite pending completion   set done
413 dnadales/511-test-dcerts-cannot-be-replayed Remove compiler warnings. push Damian Nadales buildkite pending completion   set done
411 master Add stylish-haskell and editorconfig configurations push GitHub buildkite pending completion   set done
410 intricate/bimap-0.4.0 Utilize Bimap IsList instance push Luke Nadur buildkite pending completion   set done
409 intricate/bimap-0.4.0 Utilize Bimap IsList instance push Luke Nadur buildkite pending completion   set done
408 master Merge pull request #598 from input-output-hk/exec_spec/shelley/update_mechanism push GitHub buildkite pending completion   set done
407 exec_spec/shelley/update_mechanism Fix `TODOs` in the formal spec push Matthias Güdemann buildkite pending completion   set done
406 exec_spec/shelley/update_mechanism Fix `TODOs` in the formal spec push Matthias Güdemann buildkite pending completion   set done
405 master Merge pull request #579 from input-output-hk/specs/shelley/tt-gen-deleg push GitHub buildkite pending completion   set done
404 exec_spec/shelley/update_mechanism Merge remote-tracking branch 'origin/exec_spec/shelley/update_mechanism' into exec_spec/shelley/update_mechanism push Matthias Güdemann buildkite pending completion   set done
403 exec_spec/shelley/update_mechanism Update shelley/chain-and-ledger/executable-spec/test/PropertyTests.hs push GitHub buildkite pending completion   set done