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

Builds Branch Commit Type Ran Committer Via Coverage
248 mdimjasevic/512-upiec-prop Issue #473: removes the PairSet type after rebasing push Marko Dimjašević buildkite pending completion   set done
246 master Merge pull request #525 from input-output-hk/uroboros/466/remove-dms push GitHub buildkite pending completion   set done
245 uroboros/466/remove-dms [466] Remove unused imports / defs push uroboros buildkite pending completion   set done
244 master Merge pull request #519 from input-output-hk/specs/shelley/multi-sig-comments push GitHub buildkite pending completion   set done
243 master Fix adoption threshold rules (#520) push GitHub buildkite pending completion   set done
242 master Update the prose for the PBFT Header Processing push GitHub buildkite pending completion   set done
239 master Merge pull request #522 from input-output-hk/uroboros/479/add-size-costs push GitHub buildkite pending completion   set done
238 mdimjasevic/512-upiec-prop Issue #512: implements properties #3 and #4 of the UPIEC STS push Marko Dimjašević buildkite pending completion   set done
237 dnadales/458-update-prose-pbft-header-processing Remove reality mismatch :D push Damian Nadales buildkite pending completion   set done
236 uroboros/479/add-size-costs [479] Missing imports push uroboros buildkite pending completion   set done
235 mdimjasevic/512-upiec-prop Issue #512: implements property #2 of UPIEC STS push Marko Dimjašević buildkite pending completion   set done
234 master Merge pull request #508 from input-output-hk/specs/shelley/shelley-genesis-key-map push GitHub buildkite pending completion   set done
233 specs/shelley/shelley-genesis-key-map genesis key delegation certificates push Jared Corduan buildkite pending completion   set done
231 specs/shelley/multi-sig-comments Clarifications push Matthias Güdemann buildkite pending completion   set done
230 uroboros/479/add-size-costs [479] Add size-costs for Block/BHeader/BBody push uroboros buildkite pending completion   set done