Waiting for runner

Stream: general

[Michael Stoll]

The "lint mathlib" job for #17483 is now "Waiting for a runner to pick up this job... " for nearly one hour, which strikes me as unusual. Is something broken?

[Michael Stoll]

Now it seems to have finished in basically zero time. I guess something was wrong with updating the page...

[Floris van Doorn]

I've also noticed that sometimes these pages don't update in realtime.