Documentation not updating

Stream: mathlib4

[Yaël Dillies]

Is it just me, or has #docs stopped updating?

[Henrik Böving]

There's an error in the pipeline mhm

[Yaël Dillies]

Is it that nobody touched the repo for three months, hence github stopped the action?

[Henrik Böving]

https://github.com/leanprover-community/mathlib4_docs/actions/runs/11176350248/job/31069520563 it's in how we reconfigure the project. If someone feels like fixing it feel free to go ahead, I might get to it tomorrow or later

[Henrik Böving]

Yaël Dillies said:

Is it just me, or has #docs stopped updating?

bonk