torch-mlir/.github/workflows/gh-pages-releases.yml

# See: https://github.com/llvm/torch-mlir/issues/1374
name: Publish releases page

on:
  workflow_dispatch:

jobs:
  scrape_and_publish_releases:
    name: "Scrape and publish releases"
    runs-on: ubuntu-latest

    # Don't run this in everyone's forks.
    if: github.repository == 'llvm/torch-mlir'

    steps:
      - name: Prepare workspace
        run: |
          # Clear the workspace directory so that we don't run into errors about
          # existing lock files.
          sudo rm -rf $GITHUB_WORKSPACE/*
      - name: Checking out repository
        uses: actions/checkout@v3
        with:
          token: ${{ secrets.WORKFLOW_INVOCATION_TOKEN }}
      - name: Run scrape releases script
        run: python ./build_tools/scrape_releases.py llvm torch-mlir > /tmp/index.html
        shell: bash
      - run: git fetch --all
      - run: git switch github-pages
      - run: git config --global user.email "none@none.com"
      - run: git config --global user.name "torch-mlir"
      - run: mv /tmp/index.html package-index/index.html
      - run: git add package-index/index.html

      # Only try to make a commit if the file has changed.
      - run: git diff --cached --exit-code || git commit -m "Update releases."

      - name: GitHub Push
        uses: ad-m/github-push-action@v0.6.0
        with:
          github_token: ${{ secrets.GITHUB_TOKEN }}
          branch: github-pages