|
a |
|
b/.github/workflows/doc_build.yml |
|
|
1 |
name: "Pull Request Docs Check" |
|
|
2 |
on: |
|
|
3 |
- pull_request |
|
|
4 |
- push |
|
|
5 |
|
|
|
6 |
jobs: |
|
|
7 |
docs: |
|
|
8 |
runs-on: ubuntu-20.04 |
|
|
9 |
steps: |
|
|
10 |
|
|
|
11 |
- name: Install openslide-tools |
|
|
12 |
run: sudo apt-get install openslide-tools |
|
|
13 |
|
|
|
14 |
# - name: Install openslide-python |
|
|
15 |
# run: sudo apt-get install python-openslide |
|
|
16 |
|
|
|
17 |
- uses: actions/checkout@v1 |
|
|
18 |
|
|
|
19 |
- uses: ammaraskar/sphinx-action@0.4 |
|
|
20 |
with: |
|
|
21 |
pre-build-command: python -m pip install sphinx-rtd-theme sphinx-autodoc-typehints |
|
|
22 |
docs-folder: "doc/" |
|
|
23 |
|
|
|
24 |
- uses: actions/upload-artifact@v1 |
|
|
25 |
with: |
|
|
26 |
name: DocumentationHTML |
|
|
27 |
path: doc/build/html/ |
|
|
28 |
if: success() |