pages.yml

#Github workflow for building documentation
#
#SPDX-FileCopyrightText: 2022 Birger Schacht
#SPDX-License-Identifier: MIT

name: "Build documentation"

on:
  push:
    branches: main
    paths-ignore:
      - '.github/**'
  workflow_dispatch:

permissions:
  contents: write

jobs:
  build:
    runs-on: ubuntu-latest

    steps:
     - uses: actions/checkout@v3
     - uses: actions/setup-python@v3
     - name: Install documentation dependencies
       run: |
         pip install poetry
         poetry install --with docs --with tests
     - name: Build docs
       run: poetry run make -C "$GITHUB_WORKSPACE/docs" html
     - name: Build coverage
       run: |
         poetry run coverage run --source="." manage.py test
         poetry run coverage html
     - uses: actions/checkout@v3
       with:
         path: apis-core-rdf-pages
         ref: pages
     - name: Commit new docs
       run: |
         cd apis-core-rdf-pages
         git rm -rf *
         cp -r $GITHUB_WORKSPACE/docs/_build/html/* .
         cp -r $GITHUB_WORKSPACE/htmlcov .
         rm -f htmlcov/.gitignore
         touch .nojekyll
         git config user.name github-actions
         git config user.email github-actions@github.com
         git add .
         if ! git diff --staged --exit-code .; then
           git commit -m "Updated documentation"
           git push --set-upstream origin pages
         fi