mathlib4_docs builds are failing

Stream: mathlib4

[Eric Wieser]

At a glance I don't see anything of note in the logs beside the exit code:

https://github.com/leanprover-community/mathlib4_docs/actions/runs/6959863254/job/18938068802#step:9

[Eric Wieser]

As a result, the docs are currently 3 days out of date

[Alex J. Best]

I made a pr that should probably fix this yesterday #8553

[Alex J. Best]

Cc Scott Morrison