Merge pull request #498 from huggingface/simoninithomas-patch-1

Delete .github/workflows/delete_doc_comment_trigger.yml
This commit is contained in:
Thomas Simonini
2024-03-01 16:22:49 +01:00
committed by GitHub

View File

@@ -1,12 +0,0 @@
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 }}