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

Builds Branch Commit Type Ran Committer Via Coverage
1423 michal/example-2 Merge branch 'master' of github.com:input-output-hk/cardano-ledger-specs into michal/example-2 push Michal J. Gajda buildkite pending completion   set done
1422 michal/example-2 Fixed record fields import for TxBody push Michal J. Gajda buildkite pending completion   set done
1421 polina/plutus validation push Polina Vinogradova buildkite pending completion   set done
1420 master Merge pull request #1022 from input-output-hk/shelley/exec_spec/remove_duplicate_functionality push GitHub buildkite pending completion   set done
1419 nc/api Updates following review push Nicholas Clarke buildkite pending completion   set done
1417 csoroz/parens-in-deposits-function Update properties.tex push GitHub buildkite pending completion   set done
1416 uroboros/926/invalid_trace_profiles [926] Test invalid trace profile for LEDGER STS - Invalid RegKey certs push uroboros buildkite pending completion   set done
1413 master Merge pull request #1020 from input-output-hk/codeowners-update push GitHub buildkite pending completion   set done
1414 erikd/fix-homepage fixup! Fix homepage URL in cabal files push Nicholas Clarke buildkite pending completion   set done
1412 shelley/exec_spec/remove_duplicate_functionality Clean up unused exports, remove unused / duplicated functions push Matthias Güdemann buildkite pending completion   set done
1411 polina/plutus delegation and fees push Polina Vinogradova buildkite pending completion   set done
1409 erikd/fix-homepage Fix homepage URL in cabal files push Erik de Castro Lopo buildkite pending completion   set done
1407 spec/properties minor push Kevin Hammond buildkite pending completion   set done
1400 nc/api Update nix stuff push Nicholas Clarke buildkite pending completion   set done
1399 nc/api Add mempool API push Nicholas Clarke buildkite pending completion   set done