Los ejecutores de acciones de Github (integración continua) parecen ser extremadamente lentos hoy en día. En un repositorio, que ya había hecho, cambié a corredores pagados y todos los problemas desaparecieron instantáneamente.