Una mejora para que funcione Coverage de GitLan