name: manifest
on:
  workflow_run:
    workflows: [Build]
    types: [completed]
  workflow_dispatch:

permissions:
  contents: write

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

jobs:
  generate:
    name: Generate manifest
    # Publish on success AND on partial-failure: one flaky board (e.g. a
    # transient toolchain 502) should not deny manifest updates for the
    # platforms that did upload artifacts. enrich_manifest.py reads
    # whatever assets actually exist on the release.
    if: >-
      github.event_name == 'workflow_dispatch' ||
      contains(fromJSON('["success", "failure"]'), github.event.workflow_run.conclusion)
    runs-on: ubuntu-latest
    steps:
      - name: Checkout master (for the script)
        uses: actions/checkout@v4
        with:
          path: master

      - name: Checkout gh-pages (for output)
        uses: actions/checkout@v4
        with:
          ref: gh-pages
          path: pages

      - name: Generate manifest
        env:
          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
          GITHUB_REPOSITORY: ${{ github.repository }}
        run: python3 master/.github/scripts/enrich_manifest.py pages

      - name: Publish to gh-pages
        working-directory: pages
        run: |
          git config user.email "actions@github.com"
          git config user.name  "github-actions[bot]"
          git add manifest.json manifest.flat
          if git diff --cached --quiet; then
            echo "No manifest changes; nothing to commit."
          else
            newest=$(jq -r '.channels.nightly // "empty"' manifest.json)
            git commit -m "manifest: $(date -u +%FT%TZ) — ${newest}"
            git push
          fi