name: Delete PR documentation

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