Skip to content

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

Closed
rtrompier wants to merge 1 commit intomainfrom
chore/update-doc-main-workflow-sha
Closed

chore: bump doc-builder SHA for main doc build workflow#633
rtrompier wants to merge 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).

@rtrompier
Copy link
Copy Markdown
Contributor Author

Closing — not needed right now, active libs already on @main.

@rtrompier rtrompier closed this Apr 17, 2026
@rtrompier rtrompier deleted the chore/update-doc-main-workflow-sha branch April 17, 2026 09:17
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.

1 participant