Update .github/workflows/delete_doc_comment.yml

Co-authored-by: Mishig <mishig.davaadorj@coloradocollege.edu>
This commit is contained in:
Omar Sanseviero 2023-08-08 10:29:16 +02:00 committed by GitHub
parent c1109bf99b
commit f9c228b521
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,14 +1,12 @@
name: Delete doc comment name: Delete doc comment
on: on:
workflow_run: pull_request:
workflows: ["Delete doc comment trigger"] types: [ closed ]
types:
- completed
jobs: jobs:
delete: delete:
uses: huggingface/doc-builder/.github/workflows/delete_doc_comment.yml@main uses: huggingface/doc-builder/.github/workflows/delete_doc_comment_trigger.yml@main
secrets: with:
comment_bot_token: ${{ secrets.COMMENT_BOT_TOKEN }} pr_number: ${{ github.event.number }}