Continuous integration failing

Stream: mathlib4

[Iván Renison]

Hi, in #25077 CI is failing and I don't understand way. Does somebody know whats happening? It seems more like an error somewhere else, in particular because of this part of the error:
image.png

[Anne Baanen]

The same thing happened on #24990: https://github.com/leanprover-community/mathlib4/actions/runs/15248765607/job/42880424858

Looks like these failures are happening on different CI machines, so it's probably GitHub being too aggressive in their anti-bot defenses and catching CI in the crossfire.

[Iván Renison]

Okay, now I reran the jobs and it worked