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

Builds Branch Commit Type Ran Committer Via Coverage
1335 michal/example-1-comments-signed Commenting first example. push Michal J. Gajda buildkite pending completion   set done
1331 dnadales/qc-trace-generators Update nix files. push Damian Nadales buildkite pending completion   set done
1328 dnadales/qc-trace-generators Add QC classification of `SUM` traces. push Damian Nadales buildkite pending completion   set done
1326 polina/plutus standalone doc with changes push Polina Vinogradova buildkite pending completion   set done
1322 master Merge pull request #976 from input-output-hk/spec/shelley/non-neg-deposits push GitHub buildkite pending completion   set done
1320 spec/shelley/non-neg-deposits nonnegative deposit pot property and proof push Jared Corduan buildkite pending completion   set done
1321 spec/shelley/non-neg-deposits nonnegative deposit pot property and proof push Jared Corduan buildkite pending completion   set done
1319 michal/example-1-comments Documentation suggestions for examples. push Michal J. Gajda buildkite pending completion   set done
1317 spec/shelley/non-neg-deposits review push Jared Corduan buildkite pending completion   set done
1315 spec/shelley/non-neg-deposits review push Jared Corduan buildkite pending completion   set done
1311 spec/shelley/non-neg-deposits review push Jared Corduan buildkite pending completion   set done
1310 spec/consensus-integration update email addresses push Kevin Hammond buildkite pending completion   set done
1309 mhuesch/870_follow_on_rereg [#870] Add pool re-reg check push Michael Hueschen buildkite pending completion   set done
1308 mhuesch/870_follow_on_rereg [#870] Add pool re-reg check push Michael Hueschen buildkite pending completion   set done
1307 spec/shelley/non-neg-deposits more suggestions/comments push Kevin Hammond buildkite pending completion   set done