[doc build] Use secrets (#581)

.github/workflows/build_documentation.yml

@@ -17,3 +17,4 @@ jobs:
  languages: ar bn de en es fa fr gj he hi id it ja ko pt ru th tr vi zh-CN zh-TW
  secrets:
  token: ${{ secrets.HUGGINGFACE_PUSH }}
+ hf_token: ${{ secrets.HF_DOC_BUILD_PUSH }}

.github/workflows/build_pr_documentation.yml

@@ -17,4 +17,3 @@ jobs:
  path_to_docs: course/chapters/
  additional_args: --not_python_module
  languages: ar bn de en es fa fr gj he hi id it ja ko pt ru th tr vi zh-CN zh-TW
- hub_base_path: https://moon-ci-docs.huggingface.co

.github/workflows/delete_doc_comment.yml

@@ -1,13 +1,13 @@
-name: Delete dev documentation
+name: Delete doc comment
 
 on:
- pull_request:
- types: [ closed ]
-
+ workflow_run:
+ workflows: ["Delete doc comment trigger"]
+ types:
+ - completed
 
 jobs:
  delete:
  uses: huggingface/doc-builder/.github/workflows/delete_doc_comment.yml@main
- with:
- pr_number: ${{ github.event.number }}
- package: course
+ secrets:
+ comment_bot_token: ${{ secrets.COMMENT_BOT_TOKEN }}

.github/workflows/delete_doc_comment_trigger.yml

@@ -0,0 +1,12 @@
+name: Delete doc comment trigger
+
+on:
+ pull_request:
+ types: [ closed ]
+
+
+jobs:
+ delete:
+ uses: huggingface/doc-builder/.github/workflows/delete_doc_comment_trigger.yml@main
+ with:
+ pr_number: ${{ github.event.number }}

.github/workflows/upload_pr_documentation.yml

@@ -0,0 +1,17 @@
+name: Upload PR Documentation
+
+on:
+ workflow_run:
+ workflows: ["Build PR Documentation"]
+ types:
+ - completed
+
+jobs:
+ build:
+ uses: huggingface/doc-builder/.github/workflows/upload_pr_documentation.yml@main
+ with:
+ package_name: course
+ hub_base_path: https://moon-ci-docs.huggingface.co
+ secrets:
+ hf_token: ${{ secrets.HF_DOC_BUILD_PUSH }}
+ comment_bot_token: ${{ secrets.COMMENT_BOT_TOKEN }}