2023-06-09 20:42:14 +08:00
|
|
|
name: Delete doc comment
|
2023-05-14 02:57:26 +08:00
|
|
|
|
|
|
|
|
on:
|
2023-06-09 20:42:14 +08:00
|
|
|
workflow_run:
|
|
|
|
|
workflows: ["Delete doc comment trigger"]
|
|
|
|
|
types:
|
|
|
|
|
- completed
|
|
|
|
|
|
2023-05-14 02:57:26 +08:00
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
delete:
|
2023-05-15 16:10:12 +08:00
|
|
|
uses: huggingface/doc-builder/.github/workflows/delete_doc_comment.yml@main
|
2023-06-09 20:42:14 +08:00
|
|
|
secrets:
|
|
|
|
|
comment_bot_token: ${{ secrets.COMMENT_BOT_TOKEN }}
|
