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

Builds Branch Commit Type Ran Committer Via Coverage
934 polina/updateprose2 merge with master push Polina Vinogradova buildkite pending completion   set done
933 polina/updateprose accidentally added file, deleting push GitHub buildkite pending completion   set done
932 polina/updateprose merge with master push Polina Vinogradova buildkite pending completion   set done
931 polina/updateprose Merge branch 'master' into polina/updateprose push GitHub buildkite pending completion   set done
930 polina/updateprose typo push GitHub buildkite pending completion   set done
929 polina/updateprose typo push GitHub buildkite pending completion   set done
928 polina/updateprose typo push GitHub buildkite pending completion   set done
927 polina/updateprose typo push GitHub buildkite pending completion   set done
926 polina/updateprose typo push GitHub buildkite pending completion   set done
925 khedits included optimised calculation push Kevin Hammond buildkite pending completion   set done
924 shelley/non_integral/reference/PoC_linear_approx Add linear upper bound approximation for Praos leader election push Matthias Güdemann buildkite pending completion   set done
923 master Merge pull request #847 from input-output-hk/spec/shelley/audit-review-14 push GitHub buildkite pending completion   set done
922 polina/updateprose Some typos push GitHub buildkite pending completion   set done
921 polina/updateprose Software updates and updates comments addressed push GitHub buildkite pending completion   set done
920 khedits added pdfsync.sty - not available on Hydra push Kevin Hammond buildkite pending completion   set done