mirror of
https://github.com/mii443/tokenizers.git
synced 2025-08-22 16:25:30 +00:00
Merge pull request #1107 from huggingface/revert-1101-update_doc_pr_actions
Revert "Update pr docs actions"
This commit is contained in:
5
.github/workflows/build_pr_documentation.yml
vendored
5
.github/workflows/build_pr_documentation.yml
vendored
@ -9,7 +9,7 @@ concurrency:
|
|||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
build:
|
build:
|
||||||
uses: huggingface/doc-builder/.github/workflows/build_pr_documentation.yml@use_hf_hub
|
uses: huggingface/doc-builder/.github/workflows/build_pr_documentation.yml@main
|
||||||
with:
|
with:
|
||||||
commit_sha: ${{ github.event.pull_request.head.sha }}
|
commit_sha: ${{ github.event.pull_request.head.sha }}
|
||||||
pr_number: ${{ github.event.number }}
|
pr_number: ${{ github.event.number }}
|
||||||
@ -17,6 +17,3 @@ jobs:
|
|||||||
path_to_docs: tokenizers/docs/source-doc-builder/
|
path_to_docs: tokenizers/docs/source-doc-builder/
|
||||||
package_path: tokenizers/bindings/python/
|
package_path: tokenizers/bindings/python/
|
||||||
install_rust: true
|
install_rust: true
|
||||||
secrets:
|
|
||||||
token: ${{ secrets.HF_DOC_PUSH }}
|
|
||||||
comment_bot_token: ${{ secrets.HUGGINGFACE_PUSH }}
|
|
||||||
|
7
.github/workflows/delete_doc_comment.yml
vendored
7
.github/workflows/delete_doc_comment.yml
vendored
@ -7,10 +7,7 @@ on:
|
|||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
delete:
|
delete:
|
||||||
uses: huggingface/doc-builder/.github/workflows/delete_doc_comment.yml@use_hf_hub
|
uses: huggingface/doc-builder/.github/workflows/delete_doc_comment.yml@main
|
||||||
with:
|
with:
|
||||||
pr_number: ${{ github.event.number }}
|
pr_number: ${{ github.event.number }}
|
||||||
package: tokenizers
|
package: tokenizers
|
||||||
secrets:
|
|
||||||
token: ${{ secrets.HF_DOC_PUSH }}
|
|
||||||
comment_bot_token: ${{ secrets.HUGGINGFACE_PUSH }}
|
|
Reference in New Issue
Block a user