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

Builds Branch Commit Type Ran Committer Via Coverage
2251 jc/spec/header-only-validation header only validation properties push Jared Corduan buildkite pending completion   set done
2250 nfrisby/more-minor-typos beginning of instead of begin of push Nicolas Frisby buildkite pending completion   set done
2249 jc/rename-byron-packages-and-modules moved byron chain modules to Byron.Spec.Chain push Jared Corduan buildkite pending completion   set done
2248 jc/spec/header-only-validation header only validation properties push Jared Corduan buildkite pending completion   set done
2247 master Merge pull request #1347 from input-output-hk/nfrisby/typos push GitHub buildkite pending completion   set done
2246 jc/rename-byron-packages-and-modules moved byron chain modules to Byron.Spec.Chain push Jared Corduan buildkite pending completion   set done
2245 nfrisby/typos prefer seedOp command to star command in the context of nonces push Nicolas Frisby buildkite pending completion   set done
2242 master Merge pull request #1345 from input-output-hk/nc/callStack push GitHub buildkite pending completion   set done
2241 master Merge pull request #1344 from input-output-hk/nfrisby/typos-stale-varnames push GitHub buildkite pending completion   set done
2240 nc/callStack Add `HasCallStack` constraint in various places push Nicholas Clarke buildkite pending completion   set done
2239 nfrisby/typos-stale-varnames fix up stale variable occurrences push Nicolas Frisby buildkite pending completion   set done
2238 master Merge pull request #1339 from input-output-hk/jc/spec/from-origin push GitHub buildkite pending completion   set done
2237 jc/spec/from-origin formal spec can now start form origin or byron push Jared Corduan buildkite pending completion   set done
2235 master Merge pull request #1342 from input-output-hk/jc/generate-nonneg-coins push GitHub buildkite pending completion   set done
2234 jc/generate-nonneg-coins serialize but do not deserialize negative coins push Jared Corduan buildkite pending completion   set done