Skip to content

chore: bump doc-builder SHA for main doc build workflow#13555

Merged
rtrompier merged 1 commit intomainfrom
chore/update-doc-main-workflow-sha
Apr 24, 2026
Merged

chore: bump doc-builder SHA for main doc build workflow#13555
rtrompier merged 1 commit intomainfrom
chore/update-doc-main-workflow-sha

Conversation

@rtrompier
Copy link
Copy Markdown
Contributor

Bump the pinned doc-builder SHA so that main documentation builds also sync to the HF bucket (dual-write introduced in doc-builder PR #780, 2026-04-15). The current pin predates that change, so release docs never land in the bucket — only in the legacy dataset.

@github-actions github-actions Bot added CI size/S PR with diff < 50 LOC labels Apr 24, 2026
@rtrompier rtrompier marked this pull request as ready for review April 24, 2026 12:33
@rtrompier rtrompier merged commit d0c9cba into main Apr 24, 2026
12 of 16 checks passed
@McPatate McPatate deleted the chore/update-doc-main-workflow-sha branch April 24, 2026 14:10
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.

1 participant