Skip to content

Make doc builds faster#14131

Merged
mishig25 merged 4 commits into
mainfrom
faster-doc-builds
Jul 6, 2026
Merged

Make doc builds faster#14131
mishig25 merged 4 commits into
mainfrom
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

@github-actions github-actions Bot added CI size/S PR with diff < 50 LOC labels Jul 6, 2026

@DN6 DN6 left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks @mishig25 👍🏽

@mishig25 mishig25 merged commit a7166ce into main Jul 6, 2026
13 of 16 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI size/S PR with diff < 50 LOC

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants