mirror of
https://github.com/nod-ai/SHARK-Studio.git
synced 2026-01-09 22:07:55 -05:00
38 lines
1.3 KiB
YAML
38 lines
1.3 KiB
YAML
# 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 == 'nod-ai/AMD-SHARK-Studio'
|
|
|
|
steps:
|
|
- name: Checking out repository
|
|
uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
|
|
with:
|
|
token: ${{ secrets.NODAI_INVOCATION_TOKEN }}
|
|
- name: Run scrape releases script
|
|
run: python ./build_tools/scrape_releases.py nod-ai AMD-SHARK-Studio > /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 "nod-ai"
|
|
- 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@d91a481090679876dfc4178fef17f286781251df # v0.8.0
|
|
with:
|
|
github_token: ${{ secrets.NODAI_INVOCATION_TOKEN }}
|
|
branch: github-pages
|