From c43bad97b7fd798842ef45910f71cba7db7b27d1 Mon Sep 17 00:00:00 2001 From: Thomas Simonini Date: Fri, 1 Mar 2024 16:22:39 +0100 Subject: [PATCH] Delete .github/workflows/delete_doc_comment_trigger.yml --- .github/workflows/delete_doc_comment_trigger.yml | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 .github/workflows/delete_doc_comment_trigger.yml diff --git a/.github/workflows/delete_doc_comment_trigger.yml b/.github/workflows/delete_doc_comment_trigger.yml deleted file mode 100644 index 5e39e253..00000000 --- a/.github/workflows/delete_doc_comment_trigger.yml +++ /dev/null @@ -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 }} \ No newline at end of file