CI hanging on trying to find oleans cache

Stream: general

[Yakov Pechersky]

Am I reading the logs wrong, or is CI hanging unexpectedly? https://github.com/leanprover-community/mathlib/pull/7118/checks?check_run_id=2375062027

[Julian Berman]

I think IME usually that's a runner somehow transiently getting stuck (i.e. not your fault). Unless it's happening on other PRs probably would cancel the job and re-run it.

[Bryan Gin-ge Chen]

I wouldn't cancel it yet.

[Bryan Gin-ge Chen]

The updates from GitHub actions sometimes get stuck while the job still runs in the background.

[Eric Wieser]

Yeah, when I've seen this before it's just github failing to indicate that it's progressed to the next stage

[Kevin Buzzard]

it's ticking along nicely now, by the looks of things