Don't add coverage reporting for now.