remove delete doc comment

This commit is contained in:
OlivierDehaene 2024-01-26 18:04:07 +01:00
parent d0ddc80c31
commit 4d6132a233

View File

@ -1,12 +0,0 @@
name: Delete doc comment
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 }}