[doc build] Use secrets

This commit is contained in:
Mishig
2023-06-09 11:01:19 +02:00
committed by GitHub
parent afb0e89b4a
commit f0d4caab95
4 changed files with 36 additions and 8 deletions

View File

@@ -1,13 +1,13 @@
name: Delete dev documentation
name: Delete doc comment
on:
pull_request:
types: [ closed ]
workflow_run:
workflows: ["Delete doc comment trigger"]
types:
- completed
jobs:
delete:
uses: huggingface/doc-builder/.github/workflows/delete_doc_comment.yml@main
with:
pr_number: ${{ github.event.number }}
package: deep-rl-class
secrets:
comment_bot_token: ${{ secrets.COMMENT_BOT_TOKEN }}