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

Builds Branch Commit Type Ran Committer Via Coverage
1306 spec/shelley/non-neg-deposits proposed changes push Kevin Hammond buildkite pending completion   set done
1304 michal/example-1-comments Commenting first example. push Michal J. Gajda buildkite pending completion   set done
1303 polina/plutus changes outlined for all chapters push Polina Vinogradova buildkite pending completion   set done
1302 spec/shelley/non-neg-deposits nonnegative deposit pot property and proof push Jared Corduan buildkite pending completion   set done
1299 spec/consensus-integration-kh template of document push Kevin Hammond buildkite pending completion   set done
1300 spec/consensus-integration-kh updated authors push Kevin Hammond buildkite pending completion   set done
1296 master Merge pull request #975 from input-output-hk/coot/windows push GitHub buildkite pending completion   set done
1295 master Merge pull request #973 from input-output-hk/exec_spec/shelley/mir_example_v2 push GitHub buildkite pending completion   set done
1293 coot/windows Renamed Hedgehog.Gen.Aux to Hedgehog.Gen.Double push Marcin Szamotulski buildkite pending completion   set done
1292 csoroz_fix_typo Typo: missing comma push GitHub buildkite pending completion   set done
1291 exec_spec/shelley/mir_example_v2 Fix example 6F after fixed constraint for DELEG-MIR push Matthias Güdemann buildkite pending completion   set done
1288 master Merge pull request #967 from input-output-hk/spec/incentives-kh3 push GitHub buildkite pending completion   set done
1287 polina/plutus typo push Polina Vinogradova buildkite pending completion   set done
1286 polina/plutus changes from todays discussion push Polina Vinogradova buildkite pending completion   set done
1285 spec/incentives-kh3 recreated incentives push Jared Corduan buildkite pending completion   set done