Mathlib docs not regenerating

Stream: new members

[Snir Broshi]

Is it just me or are the mathlib docs stuck on a week-old commit? The cutoff seems to be exactly when #29835 was merged, anything in it or since isn't in the docs, e.g. https://loogle.lean-lang.org/?q=IsMaxAntichain
(I assume this is already being talked about somewhere, I just don't know where)

[Weiyi Wang]

Looks like all recent CI failed https://github.com/leanprover-community/mathlib4_docs/actions
"The job has exceeded the maximum execution time while awaiting a runner for 24h0m0s"

[Weiyi Wang]

The one that hasn't timed out https://github.com/leanprover-community/mathlib4_docs/actions/runs/19259076765/job/55059490539
it says

Requested labels: doc-gen
Job defined at: leanprover-community/mathlib4_docs/.github/workflows/docs.yaml@refs/heads/main
Waiting for a runner to pick up this job...

So it sounds like there is no available runner?

[Bryan Gin-ge Chen]

Thanks for the report! I'll take a look.

[Bryan Gin-ge Chen]

OK, I've added the doc-gen label to two of our runners. I suspect some recent automation may be inadvertently removing labels.

[Bryan Gin-ge Chen]

OK, I see what happened here: the labels were accidentally removed during a testing run of the automation, and I forgot to add back the labels after I fixed the bug in the automation. Hopefully this shouldn't be an issue going forward!