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

Builds Branch Commit Type Ran Committer Via Coverage
1757 HEAD Generate pointer output addresses push Matthias Güdemann buildkite pending completion   set done
1756 HEAD - Add `Word`, `Word8`, `Word32`, and `Word16` instances of `HasTypeReps`. push Damian Nadales buildkite pending completion   set done
1755 HEAD Update shelley/chain-and-ledger/executable-spec/src/STS/NewEpoch.hs push GitHub buildkite pending completion   set done
1754 HEAD Merge pull request #1165 from input-output-hk/jc/overlay-schedule-d-zero push GitHub buildkite pending completion   set done
1753 HEAD simplify createRUpd push Jared Corduan buildkite pending completion   set done
1751 HEAD Merge pull request #1164 from input-output-hk/dnadales/fix-brittle-test-in-small-steps push GitHub buildkite pending completion   set done
1752 HEAD Use `abstractSizeSig` and `abstractSizeVKey` in `txsize` function push Matthias Güdemann buildkite pending completion   set done
1750 HEAD fix overlaySchedule in the case when d is zero push Jared Corduan buildkite pending completion   set done
1749 HEAD Merge pull request #1163 from input-output-hk/spec/shelley/isabelle-audit-pt-3 push GitHub buildkite pending completion   set done
1747 HEAD spelling mistake push GitHub buildkite pending completion   set done
1746 HEAD - Increase the number of tests to run in prop_qc_OnlyValidSignals - Increase the length of the trace (this will increase the chance of finding a duplicated submission) - Reduce the test space (id's are taken from the interval `[-2, 2]` instead o... push Damian Nadales buildkite pending completion   set done
1745 HEAD Merge pull request #1162 from input-output-hk/nix/update-iohk-nix push GitHub buildkite pending completion   set done
1744 HEAD Merge pull request #1161 from input-output-hk/nc/integration push GitHub buildkite pending completion   set done
1743 HEAD Split PParams `fromCBOR` into 1st and 2nd part push Matthias Güdemann buildkite pending completion   set done
1741 HEAD small edits from isabelle review #3 push Jared Corduan buildkite pending completion   set done