Add GitHub workflows

This commit is contained in:
Thomas Simonini
2022-12-05 16:13:39 +01:00
parent b3103766e9
commit 6515497a3e
3 changed files with 52 additions and 0 deletions

View File

@@ -0,0 +1,19 @@
name: Build documentation
on:
push:
branches:
- release
- doc-builder*
jobs:
build:
uses: huggingface/doc-builder/.github/workflows/build_main_documentation.yml@main
with:
commit_sha: ${{ github.sha }}
package: deep-rl-class
path_to_docs: course/units/
additional_args: --not_python_module
languages: en
secrets:
token: ${{ secrets.HUGGINGFACE_PUSH }}

View File

@@ -0,0 +1,20 @@
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
path_to_docs: deep-rl-class/units/
additional_args: --not_python_module
languages: en
hub_base_path: https://moon-ci-docs.huggingface.co

View File

@@ -0,0 +1,13 @@
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: deep-rl-class