cfallin commented on issue #3635:
@teymour-aldridge I just merged a fix for the "Doc build" CI job; if you rebase on latest main this PR should be good to merge as well.
main
Last updated: Jan 10 2026 at 20:04 UTC