build_and_publish_doc.yml

name: Build complete docs and publish to GH Pages
permissions: read-all

on:
  push:
    branches:
      - develop

env:
  GH_PAGES_BRANCH: doc_pages

concurrency:
  group: ci-${{ github.head_ref }}-${{ github.workflow }}
  cancel-in-progress: true

jobs:
  call-build-html-doc:
    uses: ./.github/workflows/build_html_doc.yml
    with:
      ref: ${{ github.ref }}
  call-build-schema-page:
    uses: ./.github/workflows/build_schema_page.yml
  publish:
    needs: [call-build-html-doc, call-build-schema-page]
    runs-on: ubuntu-latest
    steps:
      - name: Checkout main repo  # the github-pages-deploy-action seems to require this step
        uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2

      - name: Download HTML doc build artifact
        uses: actions/download-artifact@cc203385981b70ca67e1cc392babf9cc229d5806 # v4.1.9
        with:
          name: html_doc_artifact
      - name: Extract artifact
        shell: 'bash'
        run: |
          tar -xvf artifact.tar
          rm artifact.tar

      - name: Download schema doc build artifact
        uses: actions/download-artifact@cc203385981b70ca67e1cc392babf9cc229d5806 # v4.1.9
        with:
          name: schema_doc_artifact
          path: html_build/html
      - name: Extract artifact
        shell: 'bash'
        working-directory: html_build/html
        run: |
          tar -xvf artifact.tar
          rm artifact.tar

      - name: Publish built docs on Github Pages branch ${{ env.GH_PAGES_BRANCH }}
        uses: JamesIves/github-pages-deploy-action@6c2d9db40f9296374acc17b90404b6e8864128c8 # v4.7.3
        with:
          folder: html_build/html
          token: ${{ secrets.PUSH_TO_GH_PAGES_BRANCH }}
          branch: ${{ env.GH_PAGES_BRANCH }}