Example GitHub Workflow for downloading run artifacts and pushing to gh-pages

.github_workflows_web.yml

name: web
on:
  workflow_dispatch:
    inputs:
      build_runid:
        description: 'build_runid'
        required: true
        default: '7410445048'

permissions: write-all

jobs:
  web:
    runs-on: ubuntu-22.04
    steps:
      - uses: actions/checkout@v4
        with:
          ref: gh-pages

      - name: Download exported JSON from the provided runid
        run: gh run download ${{ github.event.inputs.build_runid }}
        env:
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

      - name: Push to gh-pages
        run: |
          echo foo > foo.html
          git config user.name 'Your Name'
          git config user.email '[email protected]'
          git add -A foo.html
          git commit -a -m ...
          git push