From 3bb7a1c26d3b923d6ff55420184accd48e8bc224 Mon Sep 17 00:00:00 2001 From: Younes Belkada <49240599+younesbelkada@users.noreply.github.com> Date: Fri, 12 Jan 2024 14:21:16 +0100 Subject: [PATCH] Delete .github/workflows/delete_doc_commment.yml --- .github/workflows/delete_doc_commment.yml | 14 -------------- 1 file changed, 14 deletions(-) delete mode 100644 .github/workflows/delete_doc_commment.yml diff --git a/.github/workflows/delete_doc_commment.yml b/.github/workflows/delete_doc_commment.yml deleted file mode 100644 index 51916102d..000000000 --- a/.github/workflows/delete_doc_commment.yml +++ /dev/null @@ -1,14 +0,0 @@ -name: Delete dev documentation - -on: - pull_request: - types: [ closed ] - - -jobs: - delete: - uses: huggingface/doc-builder/.github/workflows/delete_doc_comment.yml@main - with: - pr_number: ${{ github.event.number }} - package: bitsandbytes - repo_owner: TimDettmers \ No newline at end of file