From 819e3e824bdcef574a1487f700acd9a2fe39ddac Mon Sep 17 00:00:00 2001 From: Ella Charlaix <80481427+echarlaix@users.noreply.github.com> Date: Tue, 12 Dec 2023 10:00:23 +0100 Subject: [PATCH] Remove delete_doc_comment workflow (#489) --- .github/workflows/delete_doc_comment.yml | 18 ------------------ .../workflows/delete_doc_comment_trigger.yml | 12 ------------ 2 files changed, 30 deletions(-) delete mode 100644 .github/workflows/delete_doc_comment.yml delete mode 100644 .github/workflows/delete_doc_comment_trigger.yml diff --git a/.github/workflows/delete_doc_comment.yml b/.github/workflows/delete_doc_comment.yml deleted file mode 100644 index 768c348c7..000000000 --- a/.github/workflows/delete_doc_comment.yml +++ /dev/null @@ -1,18 +0,0 @@ -name: Delete PR documentation - -on: - workflow_run: - workflows: ["Delete doc comment trigger"] - types: - - completed - paths: - - "optimum/**.py" - - "docs/**" - - ".github/workflows/build_pr_documentation.yml" - - ".github/workflows/delete_doc_comment.yml" - -jobs: - delete: - uses: huggingface/doc-builder/.github/workflows/delete_doc_comment.yml@main - secrets: - comment_bot_token: ${{ secrets.COMMENT_BOT_TOKEN }} \ No newline at end of file diff --git a/.github/workflows/delete_doc_comment_trigger.yml b/.github/workflows/delete_doc_comment_trigger.yml deleted file mode 100644 index f87d9bd4d..000000000 --- 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 }}