Skip to content

Merge pull request #88 from xmos/doc_charts #99

Merge pull request #88 from xmos/doc_charts

Merge pull request #88 from xmos/doc_charts #99

Workflow file for this run

name: Documentation
on:
schedule:
# run at 5am every day
- cron: '0 5 * * *'
push:
paths:
- '.github/workflows/docs.yml'
- 'settings.json'
- 'doc/exclude_patterns.inc'
- '**/doc/**'
pull_request:
paths:
- '.github/workflows/docs.yml'
- 'settings.json'
- 'doc/exclude-patterns.inc'
- '**/doc/**'
# Allow manually triggering the workflow.
workflow_dispatch: {}
env:
XCORE_DOC_BUILDER: 'ghcr.io/xmos/doc_builder:v3.0.0'
jobs:
build_documentation:
name: Build and package documentation
if: github.repository_owner == 'xmos'
runs-on: ubuntu-latest
steps:
- name: Checkout this repo
uses: actions/checkout@v3
- uses: actions/setup-python@v4
with:
python-version: '3.10.x'
- name: Pull doc_builder container
run: |
docker pull ${XCORE_DOC_BUILDER}
- name: Build documentation
run: |
pwd
docker run --user "$(id -u):$(id -g)" --rm -v ${{ github.workspace }}:/build -e EXCLUDE_PATTERNS="/build/doc/exclude-patterns.inc" -e OUTPUT_DIR="/build/doc/_build" -e PDF=1 -e SKIP_LINK=1 -e DOXYGEN_INCLUDE=/build/doc/Doxyfile.inc -e DOXYGEN_INPUT=ignore ${XCORE_DOC_BUILDER}
tree
DOC_VERSION=$(grep version settings.json | grep -o "[0-9]*\.[0-9]*\.[0-9]")
mv doc/_build/pdf/programming_guide.pdf doc/_build/pdf/programming_guide_v${DOC_VERSION}.pdf
- name: Save documentation artifacts
uses: actions/upload-artifact@v3
with:
name: docs lib_src
path: doc/_build
if-no-files-found: error # 'warn' or 'ignore' are also available, defaults to `warn`
retention-days: 30