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

Builds Branch Commit Type Ran Committer Via Coverage
2412 simplified_txsize simplified txsize calculation push Jared Corduan buildkite pending completion   set done
2409 intricate/vkey-complete-pragmas Separate COMPLETE pragmas for VKey and VKeyGenesis push Luke Nadur buildkite pending completion   set done
2408 master Merge pull request #1408 from input-output-hk/redxaxder/ann push GitHub buildkite pending completion   set done
2407 redxaxder/ann annotations for vkeys and metadata push Alex Byaly buildkite pending completion   set done
2406 master Merge pull request #1407 from input-output-hk/partial_functions push GitHub buildkite pending completion   set done
2405 redxaxder/ann annotations for vkeys and metadata push Alex Byaly buildkite pending completion   set done
2403 redxaxder/ann annotations for metadata push Alex Byaly buildkite pending completion   set done
2404 redxaxder/ann annotations for vkeys and metadata push Alex Byaly buildkite pending completion   set done
2402 partial_functions handle partial functions and remove foldl push Jared Corduan buildkite pending completion   set done
2401 master Merge pull request #1406 from input-output-hk/polina/plutus-mc-formal push GitHub buildkite pending completion   set done
2400 polina/plutus-mc-formal goguen and shelley-mc formal specs push Polina Vinogradova buildkite pending completion   set done
2399 simplified_txsize simplified txsize calculation push Jared Corduan buildkite pending completion   set done
2398 master Merge pull request #1403 from input-output-hk/nc/tick push GitHub buildkite pending completion   set done
2397 nc/tick Change '2k' -> "stability window" push Nicholas Clarke buildkite pending completion   set done
2396 master Merge pull request #1402 from input-output-hk/nc/filtered-utxo push GitHub buildkite pending completion   set done