Out of runners

Stream: mathlib4

[Yaël Dillies]

It looks like CI jobs are constantly waiting in the queue. Are all runners dead somehow?

[Yaël Dillies]

Here is one example, which has been waiting for more than two hours to be picked up: https://github.com/leanprover-community/mathlib4/actions/runs/15133824327/job/42540874934?pr=24998

[Jeremy Tan]

I was getting the same error intermittently when I was updating my PRs

[Jeremy Tan]

We probably need to refresh Hoskinson

[Sébastien Gouëzel]

Yes, all runners are offline. @Bryan Gin-ge Chen

[Kim Morrison]

Oops, this was/is my fault. I thought they came back online.

[Kim Morrison]

Looks like they are coming back now. Unfortunately the token at https://github.com/organizations/leanprover-community/settings/actions/runners/new cycles quite quickly, and I was using an out-of-date token...

[Sébastien Gouëzel]

It looks like three runners are offline now.

[Johan Commelin]

@𝚠𝚘𝚓𝚌𝚒𝚎𝚌𝚑 𝚗𝚊𝚠𝚛𝚘𝚌𝚔𝚒 Do you know what's up with those runners?

[𝚠𝚘𝚓𝚌𝚒𝚎𝚌𝚑 𝚗𝚊𝚠𝚛𝚘𝚌𝚔𝚒]

I do not but they're back up now :)