Merge pull request #497 from huggingface/DeleteActions

Delete actions
This commit is contained in:
Thomas Simonini
2024-03-01 16:20:03 +01:00
committed by GitHub

View File

@@ -1,13 +0,0 @@
name: Delete doc comment
on:
workflow_run:
workflows: ["Delete doc comment trigger"]
types:
- completed
jobs:
delete:
uses: huggingface/doc-builder/.github/workflows/delete_doc_comment.yml@main
secrets:
comment_bot_token: ${{ secrets.COMMENT_BOT_TOKEN }}