Esta acción bélica se conoce como la batalla de Covadonga.