Skip to content

Delete PR documentation #353

Delete PR documentation

Delete PR documentation #353

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 }}