Skip to content

Commit

Permalink
[doc build] Use secrets (#1501)
Browse files Browse the repository at this point in the history
  • Loading branch information
mishig25 authored Jun 9, 2023
1 parent 8eabd33 commit 40e62b7
Show file tree
Hide file tree
Showing 4 changed files with 37 additions and 8 deletions.
3 changes: 2 additions & 1 deletion .github/workflows/build_documentation.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -14,4 +14,5 @@ jobs:
commit_sha: ${{ github.sha }}
package: huggingface_hub
secrets:
token: ${{ secrets.HUGGINGFACE_PUSH }}
token: ${{ secrets.HUGGINGFACE_PUSH }}
hf_token: ${{ secrets.HF_DOC_BUILD_PUSH }}
14 changes: 7 additions & 7 deletions .github/workflows/delete_doc_comment.yaml
Original file line number Diff line number Diff line change
@@ -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: huggingface_hub
secrets:
comment_bot_token: ${{ secrets.COMMENT_BOT_TOKEN }}
12 changes: 12 additions & 0 deletions .github/workflows/delete_doc_comment_trigger.yaml
Original file line number Diff line number Diff line change
@@ -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 }}
16 changes: 16 additions & 0 deletions .github/workflows/upload_pr_documentation.yaml
Original file line number Diff line number Diff line change
@@ -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: huggingface_hub
secrets:
hf_token: ${{ secrets.HF_DOC_BUILD_PUSH }}
comment_bot_token: ${{ secrets.COMMENT_BOT_TOKEN }}

0 comments on commit 40e62b7

Please sign in to comment.