input-output-hk / cardano-ledger / 2323 / 1

61%

master: 63%

Build Type

push

buildkite

Committed by Damian Nadales

Commit Message

<a href="https://github.com/input-output-hk/cardano-ledger/commit/<a class=hub.com/input-output-hk/cardano-ledger/commit/4ef1fdf15966e810f819d23edebd44c7fe987d4f">4ef1fdf15<a href="https://github.com/input-output-hk/cardano-ledger/commit/4ef1fdf15966e810f819d23edebd44c7fe987d4f">&quot;&gt;- Make the package build again after using newest version of   `cardano-ledger-specs` the version we use now is   </a><a class="double-link" href="https://github.com/input-output-hk/cardano-ledger/commit/<a class="double-link" href="https://github.com/input-output-hk/cardano-ledger/commit/8107dd49a3c402401a6bbc9d14017b4edc75ac92">8107dd49a</a>">8107dd49a</a><a href="https://github.com/input-output-hk/cardano-ledger/commit/4ef1fdf15966e810f819d23edebd44c7fe987d4f">. There was an mismatch w.r.t. the   formal spec. Basically we computed the allowed delegators as the domain of   the delegation map. However, since we using a bijective map, this domain can   shrink when multiple genesis keys delegate to the same key. - Add a function to obtain a safe signer from the abstract verification key. - Ignore `stack.yaml.lock` - Elaborate abstract update proposals into concrete ones

Run Details

2303 of 3769 relevant lines covered (61.1%)

0.61 hits per line