deploy.yml

---
# yamllint disable rule:line-length

name: "deploy"

on:  # yamllint disable-line rule:truthy
  workflow_run:
    workflows:
      - build
    types:
      - completed

concurrency:
  group: pages
  cancel-in-progress: false

permissions:
  contents: read

jobs:
  agregate:
    name: Agregate build artifacts
    runs-on: ubuntu-latest
    if: ${{ github.event.workflow_run.conclusion == 'success' }}
    container:
      image: ghcr.io/texasinstruments/processor-sdk-doc:latest
      options: --entrypoint /bin/bash

    steps:
      - name: Checkout
        uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0  # v7.0.0
        with:
          persist-credentials: false

      - name: Add directory to safe dir overrides
        run: |
          git config --global --add safe.directory "$PWD"

      - name: Download all artifacts
        uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c  # v8.0.1
        with:
          github-token: ${{ secrets.GITHUB_TOKEN }}
          path: build
          merge-multiple: true
          run-id: ${{ github.event.workflow_run.id }}

      - name: Generate root index
        run: ./bin/root_index.py

      - name: Deduplicate assets
        run: ./bin/dedupe.py

      - name: Upload static files as single artifact
        uses: actions/upload-pages-artifact@fc324d3547104276b827a68afc52ff2a11cc49c9  # v5.0.0
        with:
          path: build

  deploy:
    name: Deploy
    runs-on: ubuntu-latest
    needs: agregate
    permissions:
      pages: write  # Required for deployment to GitHub Pages
      id-token: write  # Required for deployment to GitHub Pages

    steps:
      - name: Update github page deployment
        uses: actions/deploy-pages@cd2ce8fcbc39b97be8ca5fce6e763baed58fa128  # v5.0.0