Skip to content

Delete .github/workflows/delete_doc_comment_trigger.yml #520

Delete .github/workflows/delete_doc_comment_trigger.yml

Delete .github/workflows/delete_doc_comment_trigger.yml #520

name: Build PR Documentation
on:
pull_request:
concurrency:
group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
cancel-in-progress: true
jobs:
build:
uses: huggingface/doc-builder/.github/workflows/build_pr_documentation.yml@main
with:
commit_sha: ${{ github.event.pull_request.head.sha }}
pr_number: ${{ github.event.number }}
package: deep-rl-class
package_name: deep-rl-course
path_to_docs: deep-rl-class/units/
additional_args: --not_python_module
languages: en