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: Feb 24 2026 at 05:28 UTC