Where does mathlib4 CI build docs?

Stream: general

[Alissa Tung]

Hello, I am trying to mirror the mathlib4 web docs. I am wondering where does the CI build pages so that I can download the build results. I have not found the branch that the page deployed from :thinking:

[Eric Wieser]

There is no deployment branch, the docs are published as a build artifact from https://github.com/leanprover-community/mathlib4_docs/actions/workflows/docs.yaml