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

Builds Branch Commit Type Ran Committer Via Coverage
1377 HEAD Fix typo in `default.nix` push Damian Nadales buildkite pending completion   set done
1374 HEAD Remove references to `lib.nix` and update README push Damian Nadales buildkite pending completion   set done
1373 HEAD Fix syntax error in `rebuild.hs`. push Damian Nadales buildkite pending completion   set done
1372 michal/example-2 Better name for genesis node push Michal J. Gajda buildkite pending completion   set done
1370 redxaxder/cddl Serialization tests push Alex Byaly buildkite pending completion   set done
1369 master Merge pull request #1006 from input-output-hk/specs/shelley/adjustments-from-mir-changes push GitHub buildkite pending completion   set done
1367 polina/plutus starting multicur push Polina Vinogradova buildkite pending completion   set done
1366 specs/shelley/adjustments-from-mir-changes fixing the property proofs after MIR adjustments push Jared Corduan buildkite pending completion   set done
1365 master Merge pull request #1002 from input-output-hk/specs/shelley/remove-stake-key-reg-wits push GitHub buildkite pending completion   set done
1363 master Merge pull request #1005 from input-output-hk/shelley/exec_spec/mir_redesign push GitHub buildkite pending completion   set done
1362 specs/shelley/remove-stake-key-reg-wits no stake key registration witnesses push Jared Corduan buildkite pending completion   set done
1361 master Merge pull request #990 from input-output-hk/shelley/specs/correction_ptrs_map_type push GitHub buildkite pending completion   set done
1360 shelley/exec_spec/mir_redesign Add example with MIR certificate with non-registered credential push Matthias Güdemann buildkite pending completion   set done
1359 dnadales/qc-trace-generators Incorporate Michael's remarks. push Damian Nadales buildkite pending completion   set done
1358 polina/plutus issues push Polina Vinogradova buildkite pending completion   set done