Post-Build Step failing

Stream: mathlib4

[Iván Renison]

Hi, does somebody knows way this is failing?
image.png

This is in #25240

[Kim Morrison]

This is probably a consequence of #25639. (Note that this also failed, but bors let it through anyway!)

[Kim Morrison]

I see you're already trying again, by merging master. Let's hope that works. :-)

[Iván Renison]

It worked