huggingface_hub

chore: bump doc-builder SHA for PR upload workflow

#4103

Merged