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

Builds Branch Commit Type Ran Committer Via Coverage
838 mhuesch/806 [#806] Fix Goblins TH-splicing for GHCi push Michael Hueschen buildkite pending completion   set done
837 mhuesch/806 [#806] Fix Goblins TH-splicing for GHCi push Michael Hueschen buildkite pending completion   set done
836 mhuesch/806 [#806] Fix Goblins TH-splicing for GHCi push Michael Hueschen buildkite pending completion   set done
834 mhuesch/806 [#806] Use System.FilePath for Windows compatibility push Michael Hueschen buildkite pending completion   set done
833 mhuesch/806 [#806] Fix Goblins TH-splicing for GHCi push Michael Hueschen buildkite pending completion   set done
831 master Merge pull request #804 from input-output-hk/uroboros/741/sync_shelley_newepoch_sts push GitHub buildkite pending completion   set done
830 exec_spec/shelley/genesis-delegation-example Issue #792 #793 #798 key hashes and genesis deleg push Jared Corduan buildkite pending completion   set done
829 uroboros/741/sync_shelley_newepoch_sts [741] NEWEPOCH STS - sync exec. spec with formal spec push uroboros buildkite pending completion   set done
828 master Merge pull request #781 from input-output-hk/exec_spec/shelley/sum-type-prev-header-hash push GitHub buildkite pending completion   set done
827 exec_spec/shelley/sum-type-prev-header-hash removing maybe type for prev hash header push Jared Corduan buildkite pending completion   set done
826 exec_spec/shelley/sum-type-prev-header-hash removing maybe type for prev hash header push Jared Corduan buildkite pending completion   set done
825 exec_spec/shelley/sum-type-prev-header-hash removing maybe type for prev hash header push Jared Corduan buildkite pending completion   set done
824 master Merge pull request #802 from input-output-hk/uroboros/738/sync_shelley_newpp_sts push GitHub buildkite pending completion   set done
823 master Merge pull request #801 from input-output-hk/uroboros/737/sync_shelley_snap_sts push GitHub buildkite pending completion   set done
822 master Merge pull request #800 from input-output-hk/shelley/spec/adapt_properties push GitHub buildkite pending completion   set done