Skip to content

Use SPACE_HOST instead of SPACE_SUBDOMAIN #99

Use SPACE_HOST instead of SPACE_SUBDOMAIN

Use SPACE_HOST instead of SPACE_SUBDOMAIN #99

name: Delete doc comment trigger
on:
pull_request:
types: [ closed ]
jobs:
delete:
uses: huggingface/doc-builder/.github/workflows/delete_doc_comment_trigger.yml@main
with:
pr_number: ${{ github.event.number }}