Fix test coverage reporting during CI