Skip to content

Make doc builds faster - #923

Merged
burtenshaw merged 6 commits into
huggingface:mainfrom
mishig25:faster-doc-builds
Jul 7, 2026
Merged

Make doc builds faster#923
burtenshaw merged 6 commits into
huggingface:mainfrom
mishig25:faster-doc-builds

Conversation

@mishig25

@mishig25 mishig25 commented Jul 6, 2026

Copy link
Copy Markdown
Contributor

Companion to the doc-builder tracker: huggingface/doc-builder#802

🤖 Generated with Claude Code


Note

Low Risk
Only CI workflow SHA pins and a comment change; no runtime or application logic.

Overview
Updates the reusable Hugging Face doc-builder workflow pins in build_documentation.yml and build_pr_documentation.yml from bcff59f… to e60a538…, aligning with doc-builder#802.

The PR workflow file adds a note that the newer registry image supplies tomli for the light install path, which is intended to shorten doc CI runs. Job inputs (package: openenv, secrets, branch triggers) are unchanged.

Reviewed by Cursor Bugbot for commit 58ac0ae. Bugbot is set up for automated code reviews on this repo. Configure here.

@bot-ci-comment

bot-ci-comment Bot commented Jul 6, 2026

Copy link
Copy Markdown

The docs for this PR live here. All of your documentation changes will be reflected on that endpoint. The docs are available until 30 days after the last update.

@burtenshaw
burtenshaw merged commit 43914a9 into huggingface:main Jul 7, 2026
8 checks passed
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