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

Builds Branch Commit Type Ran Committer Via Coverage
1217 dnadales/284-utxo-and-txouts-must-be-disjoint Update `iohk-nix` again. push Damian Nadales buildkite pending completion   set done
1215 uroboros/925/only_valid_signals [925] Remove debug tracing push uroboros buildkite pending completion   set done
1214 uroboros/925/only_valid_signals [925] Lower coverage % for relevantKValuesAreGenerated push uroboros buildkite pending completion   set done
1213 uroboros/925/only_valid_signals [925] Fixed comment push uroboros buildkite pending completion   set done
1209 polina/plutus Update issues.md push GitHub buildkite pending completion   set done
1206 master Merge pull request #959 from input-output-hk/exec_specs/shelley/mir-example push GitHub buildkite pending completion   set done
1204 exec_specs/shelley/mir-example Add example for insufficient reserves for MIR push Matthias Güdemann buildkite pending completion   set done
1202 master Merge pull request #951 from input-output-hk/mhuesch/950 push GitHub buildkite pending completion   set done
1199 mhuesch/950 Remove redundant equality test push Matthias Güdemann buildkite pending completion   set done
1197 mhuesch/950 [#950] Add `pStateIsInternallyConsistent` property push Michael Hueschen buildkite pending completion   set done
1196 mhuesch/870_cont [#870] Add `pStateIsInternallyConsistent` property push Michael Hueschen buildkite pending completion   set done
1194 master Merge pull request #948 from input-output-hk/mhuesch/870 push GitHub buildkite pending completion   set done
1192 spec/incentives-kh added images push Kevin Hammond buildkite pending completion   set done
1191 dnadales/284-utxo-and-txouts-must-be-disjoint Bump `iohk-nix`. push Damian Nadales buildkite pending completion   set done
1190 dnadales/284-utxo-and-txouts-must-be-disjoint Check property: utxo and transaction outputs (txouts) must be disjoint. push Damian Nadales buildkite pending completion   set done