CI is not running `snarkvm-ledger` tests that require the `test` feature. For instance all the `valid_solutions` tests [here](https://github.com/ProvableHQ/snarkVM/blob/staging/ledger/src/tests.rs#L2520-L2521). There may be other places as well that have tests that are not covered by CI.