Spaces:
No application file
No application file
File size: 236 Bytes
6755a2d |
1 2 3 4 5 6 7 8 9 10 11 12 13 |
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 }}
|