You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
17 lines
362 B
17 lines
362 B
name: Delete dev documentation
|
|
|
|
on:
|
|
pull_request:
|
|
types: [ closed ]
|
|
|
|
|
|
jobs:
|
|
delete:
|
|
uses: huggingface/doc-builder/.github/workflows/delete_doc_comment.yml@use_hf_hub
|
|
with:
|
|
pr_number: ${{ github.event.number }}
|
|
package: timm
|
|
secrets:
|
|
token: ${{ secrets.HF_DOC_PUSH }}
|
|
comment_bot_token: ${{ secrets.HUGGINGFACE_PUSH }}
|