Don't run coverage (for now)