diff options
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/build-docs.yml | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/.github/workflows/build-docs.yml b/.github/workflows/build-docs.yml new file mode 100644 index 0000000..242f200 --- /dev/null +++ b/.github/workflows/build-docs.yml @@ -0,0 +1,30 @@ +name: Generate and deploy documentation + +on: + push: + branches: + - master + +jobs: + docs-build-and-deploy: + + runs-on: ubuntu-latest + + steps: + - name: Checkout + uses: actions/checkout@v2 + + - name: Install apt dependencies + run: | + sudo apt install -qq build-essential gcc-powerpc64le-linux-gnu git lcov \ + device-tree-compiler libssl-dev libmbedtls-dev \ + python3-sphinx python3-recommonmark + + - name: Generate docs and coverage report + run: ./opal-ci/build-docs.sh + + - name: Deploy docs + uses: JamesIves/github-pages-deploy-action@v4.2.5 + with: + branch: gh-pages + folder: doc/_build/ghpages |