From 790212f4d992641f2cb17d2d6c4eaeff0c91e741 Mon Sep 17 00:00:00 2001
From: Patrick von Platen <patrick.v.platen@gmail.com>
Date: Mon, 12 Jun 2023 10:29:23 +0200
Subject: [PATCH] Correct another push token (#3745)

clean up more
---
 .github/workflows/build_documentation.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build_documentation.yml b/.github/workflows/build_documentation.yml
index e8741c81f5..6fc8d343cd 100644
--- a/.github/workflows/build_documentation.yml
+++ b/.github/workflows/build_documentation.yml
@@ -18,4 +18,4 @@ jobs:
       languages: en ko zh
     secrets:
       token: ${{ secrets.HUGGINGFACE_PUSH }}
-      hf_token: ${{ secrets.HF_DOC_PUSH }}
+      hf_token: ${{ secrets.HF_DOC_BUILD_PUSH }}