Delete .github/workflows/delete_doc_comment.yml

This commit is contained in:
Thomas Simonini
2024-03-01 16:19:10 +01:00
committed by GitHub
parent 4b416005e7
commit 74ce0e458f

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 }}