Is automatic doc build stopped?

Stream: mathlib4

[Weiyi Wang]

I don't know where mathlib's doc is automatically built, but I am guessing it is https://github.com/leanprover-community/mathlib4_docs/actions/workflows/docs.yaml. I see there is a warning "This scheduled workflow is disabled because there hasn't been activity in this repository for at least 60 days. Enable this workflow to resume scheduled runs." and the latest run was a week ago. Does this mean the doc hasn't been updated for a week?

[Kyle Miller]

Thanks, I just re-enabled it and triggered an update! We should have new docs in about 18 minutes.