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

Builds Branch Commit Type Ran Committer Via Coverage
707 master Merge pull request #712 from input-output-hk/shelley/spec/audit-20190804 push GitHub buildkite pending completion   set done
706 master Merge pull request #718 from input-output-hk/csoroz/missing_terms push GitHub buildkite pending completion   set done
705 master Merge pull request #717 from input-output-hk/csoroz/non-integral_fixes push GitHub buildkite pending completion   set done
703 csoroz/missing_terms Update non-integer-calculations.tex push GitHub buildkite pending completion   set done
702 csoroz/non-integral_fixes Update shelley/chain-and-ledger/dependencies/non-integer/src/NonIntegral.hs push GitHub buildkite pending completion   set done
701 csoroz/non_integer-test_code Update Spec.hs push GitHub buildkite pending completion   set done
700 csoroz/fix_approx_versions Update non-integral.tex push GitHub buildkite pending completion   set done
699 master Merge pull request #705 from input-output-hk/erikd/update-deps push GitHub buildkite pending completion   set done
698 exec_spec/shelley/update-examples Issue #713 - successful protocol parameter update push Jared Corduan buildkite pending completion   set done
697 dnadales/specify-numbers-of-cores-to-be-used Add forgotten list wrapper. push Damian Nadales buildkite pending completion   set done
694 shelley/spec/audit-20190804 addressing audit from 2019 Aug 04 push Jared Corduan buildkite pending completion   set done
693 dnadales/specify-numbers-of-cores-to-be-used Fix the stupid. push Damian Nadales buildkite pending completion   set done
691 erikd/update-deps Nix voodoo push Erik de Castro Lopo buildkite pending completion   set done
689 exec_spec/shelley/update-proposal-and-cleanup-nonces code review push Jared Corduan buildkite pending completion   set done
688 master Merge pull request #704 from input-output-hk/shelley/exec_spec/recursive_STS_rules push GitHub buildkite pending completion   set done