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

Builds Branch Commit Type Ran Committer Via Coverage
212 dnadales/465-fix-adoption-threshold-rules Add `t` to the environment of the `UPEND` rule. push Damian Nadales buildkite pending completion   set done
211 master Remove Travis configuration (#515) push GitHub buildkite pending completion   set done
210 master Remove `SIGCNT` from `BHEAD` (#516) push GitHub buildkite pending completion   set done
209 mdimjasevic/512-upiec-prop Merge pull request #514 from input-output-hk/specs/shelley/multi-sig-update-script-type push GitHub buildkite pending completion   set done
208 dnadales/482-remove-sigcnt-from-bhead Remove `SIGCNT` from `BHEAD` push Damian Nadales buildkite pending completion   set done
207 master Merge pull request #514 from input-output-hk/specs/shelley/multi-sig-update-script-type push GitHub buildkite pending completion   set done
206 master Implement property that checks that money is constant in the system (#510) push GitHub buildkite pending completion   set done
205 dnadales/493-remove-travis Remove Travis configuration push Damian Nadales buildkite pending completion   set done
204 dnadales/476-check-money-is-constant Disable the doctest tests on hydra push Damian Nadales buildkite pending completion   set done
203 master Merge pull request #513 from input-output-hk/uroboros/477/missing-init-state push GitHub buildkite pending completion   set done
202 uroboros/477/missing-init-state [477] Fix a few general typo's in the Byron Ledger spec push uroboros buildkite pending completion   set done
201 dnadales/476-check-money-is-constant Remove Generator module, as it was renamed to Generators. push Damian Nadales buildkite pending completion   set done
197 specs/shelley/multi-sig-update-script-type Use Map `HashScript |-> Script` as Script Witness push Matthias Güdemann buildkite pending completion   set done
196 mdimjasevic/512-upiec-prop Merge pull request #488 from input-output-hk/mdimjasevic/473-pvbump-prop push GitHub buildkite pending completion   set done
194 uroboros/477/missing-init-state [477] Remove some superfluous parens - (delegSt) push uroboros buildkite pending completion   set done