CI failure in Lint style

Stream: mathlib4

[Nailin Guan]

I met the following wierd CI failure, do anyone know why? What can I do with this?
图片.png

[Etienne Marion]

What's the PR? I think rerunning the job should work.

[Nailin Guan]

#26245 and #26957, but I didn't find the rerun button in new github page...

[Etienne Marion]

I stopped the workflows and reran jobs and it seems to be working. I think you can only rerun if the jobs are not running.

[Floris van Doorn]

We've also ran into this in #32428, and rerunning it twice didn't help...

[Nailin Guan]

Maybe a different problem, so what is the reason for this?
图片.png

[Damiano Testa]

This looks like the previous step failed to install lake.