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

Builds Branch Commit Type Ran Committer Via Coverage
769 master Check coverage of delegation errors (#765) push GitHub buildkite pending completion   set done
768 dnadales/752-faster-trace-generators-using-edskos-ideas Minor edit. push Damian Nadales buildkite pending completion   set done
767 mhuesch/goblins_v7_decode_only Bump goblins revision push Michael Hueschen buildkite pending completion   set done
766 mhuesch/goblins_v7_decode_only Bump goblins revision push Michael Hueschen buildkite pending completion   set done
765 mhuesch/goblins_v7_decode_only Bump goblins revision push Michael Hueschen buildkite pending completion   set done
764 master Merge pull request #762 from input-output-hk/nc/key-ord push GitHub buildkite pending completion   set done
763 mhuesch/goblins_v7_decode_only Bump goblins revision push Michael Hueschen buildkite pending completion   set done
762 nc/key-ord Update formal spec push Nicholas Clarke buildkite pending completion   set done
761 mhuesch/goblins_v7_decode_only Address PR feedback - orphans & TH derivations push Michael Hueschen buildkite pending completion   set done
760 master Merge pull request #766 from input-output-hk/uroboros/735/sync_shelley_delegs_sts push GitHub buildkite pending completion   set done
759 mhuesch/goblins_v7_decode_only Fix Nix push Michael Hueschen buildkite pending completion   set done
756 uroboros/735/sync_shelley_delegs_sts [735] Sync executable with formal spec - DELEGS STS + Tweak PPUP STS push uroboros buildkite pending completion   set done
755 nc/key-ord Update formal spec push Nicholas Clarke buildkite pending completion   set done
754 dnadales/764-check-coverage-of-delegation-errors Add coverage testing for delegation errors. push Damian Nadales buildkite pending completion   set done
753 nc/key-ord Fix examples push Nicholas Clarke buildkite pending completion   set done