From f9c228b5212ab294a9b9bafec9ffacad9d3b2df2 Mon Sep 17 00:00:00 2001 From: Omar Sanseviero Date: Tue, 8 Aug 2023 10:29:16 +0200 Subject: [PATCH] Update .github/workflows/delete_doc_comment.yml Co-authored-by: Mishig --- .github/workflows/delete_doc_comment.yml | 12 +++++------- 1 file changed, 5 insertions(+), 7 deletions(-) diff --git a/.github/workflows/delete_doc_comment.yml b/.github/workflows/delete_doc_comment.yml index 8604019d..1cad807b 100644 --- a/.github/workflows/delete_doc_comment.yml +++ b/.github/workflows/delete_doc_comment.yml @@ -1,14 +1,12 @@ name: Delete doc comment on: - workflow_run: - workflows: ["Delete doc comment trigger"] - types: - - completed + pull_request: + types: [ closed ] jobs: delete: - uses: huggingface/doc-builder/.github/workflows/delete_doc_comment.yml@main - secrets: - comment_bot_token: ${{ secrets.COMMENT_BOT_TOKEN }} \ No newline at end of file + uses: huggingface/doc-builder/.github/workflows/delete_doc_comment_trigger.yml@main + with: + pr_number: ${{ github.event.number }} \ No newline at end of file