name: Delete doc comment trigger

on:
  pull_request:
    types: [ closed ]

jobs:
  delete:
    uses: huggingface/doc-builder/.github/workflows/delete_doc_comment_trigger.yml@2430c1ec91d04667414e2fa31ecfc36c153ea391  # main
    with:
      pr_number: ${{ github.event.number }}