Skip to content

ci(docs): point doc build back at upstream doc-builder - #1329

Merged
FabienDanieau merged 1 commit into
mainfrom
ci/doc-builder-upstream-main
Aug 7, 2026
Merged

FabienDanieau merged 1 commit into
mainfrom
ci/doc-builder-upstream-main

Conversation

@FabienDanieau

@FabienDanieau FabienDanieau commented Aug 7, 2026

Copy link
Copy Markdown
Contributor

Follow-up of #1261 and #1265.

#1265 needed python_version: "3.11" on the doc build (the runner default is 3.10, reachy_mini requires >=3.11). The input did not exist in the HF doc-builder workflows yet, so we added it in huggingface/doc-builder#808 and, in the meantime, pointed both workflows at our fork branch pollen-robotics/doc-builder@add-python-version-input.

That PR is now merged upstream, so we go back to the classic HF pipeline: both uses: point at huggingface/doc-builder/...@main again, with python_version: "3.11" unchanged. The fork branch held nothing else of ours, and upstream main has moved on since (the version list is read from the doc bucket instead of the legacy dataset), so this also picks up those fixes.

Note: build_pr_documentation only triggers on docs/**, so it will not run on this PR — verify by dispatching Build HF documentation after merge, or on the next docs PR.

The python_version input was added on a fork branch while it was under
review, so both doc workflows were temporarily pinned to
pollen-robotics/doc-builder@add-python-version-input. It is now merged
upstream (huggingface/doc-builder#808), so drop the fork pin and go back
to huggingface/doc-builder@main.

The fork branch held nothing else pollen-specific, and upstream main has
since moved ahead (the version list is read from the doc bucket instead
of the legacy dataset), so this also picks up those fixes.

Assisted-by: Claude:claude-opus-5[1m]
@FabienDanieau
FabienDanieau merged commit 323c89a into main Aug 7, 2026
8 checks passed
@FabienDanieau
FabienDanieau deleted the ci/doc-builder-upstream-main branch August 7, 2026 12:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants