mina
mina copied to clipboard
Build coverage when running tests with nix.
Running unit tests locally takes a long time (~ 2 hours for me), so it would be better to generate the coverage reports when running tests in the CI.
See issue #11769.