Merge pull request #440 from tomaarsen/docs/workflows

Update documentation building workflows
huggingface · Nov 21, 2023 · 49cc545 · 49cc545
2 parents a893809 + 697837e
commit 49cc545
Show file tree

Hide file tree

Showing 3 changed files with 22 additions and 4 deletions.
diff --git a/.github/workflows/build_documentation.yml b/.github/workflows/build_documentation.yml
@@ -14,3 +14,6 @@ jobs:
       commit_sha: ${{ github.sha }}
       package: setfit
       languages: en
+    secrets:
+      token: ${{ secrets.HUGGINGFACE_PUSH }}
+      hf_token: ${{ secrets.HF_DOC_BUILD_PUSH }}
diff --git a/...hub/workflows/delete_pr_documentation.yml → .../workflows/delete_doc_comment_trigger.yml b/...hub/workflows/delete_pr_documentation.yml → .../workflows/delete_doc_comment_trigger.yml
@@ -1,4 +1,4 @@
-name: Delete dev documentation
+name: Delete doc comment trigger
 
 on:
   pull_request:
@@ -7,7 +7,6 @@ on:
 
 jobs:
   delete:
-    uses: huggingface/doc-builder/.github/workflows/delete_doc_comment.yml@main
+    uses: huggingface/doc-builder/.github/workflows/delete_doc_comment_trigger.yml@main
     with:
-      pr_number: ${{ github.event.number }}
-      package: setfit
+      pr_number: ${{ github.event.number }}
diff --git a/.github/workflows/upload_pr_documentation.yml b/.github/workflows/upload_pr_documentation.yml
@@ -0,0 +1,16 @@
+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: setfit
+    secrets:
+      hf_token: ${{ secrets.HF_DOC_BUILD_PUSH }}
+      comment_bot_token: ${{ secrets.COMMENT_BOT_TOKEN }}